Skip to main content

Browse the archive

Revision 13296e56f83c8078532a6e76c03283d47cff40f4 authored by Pierre-Yves Strub on 25 September 2023, 15:06:03 UTC, committed by Pierre-Yves Strub on 25 September 2023, 18:44:32 UTC 
In subst, when crossing a binding, remove the bound variable.
 
If not, the substitution can lead to name captures.
1 parent 8fa2f94
Raw File
shell.nix 
{ withProvers ? true, devDeps ? [] }:

with import <nixpkgs> {};

let ec = callPackage ./default.nix { inherit withProvers devDeps; };
in

pkgs.mkShell {
  buildInputs = ec.buildInputs
  ++ ec.propagatedBuildInputs
  ++ (with python3Packages; [
    pyyaml
  ]);
}
back to top