search

con-kitty / categorifier

Interpret Haskell programs into any cartesian closed category.
BSD 3-Clause "New" or "Revised" License
57 stars 2 forks source link

Fix dev shell #84

Closed wavewave closed 1 year ago

wavewave commented 2 years ago

nixpkgs.config.allowBroken = true should be set as linear-generics build is broken in the upstream. I think this is unnoticed because a local machine had that setting globally.

$ cd categorifier
direnv: loading ~/repo/src/categorifier/.envrc
direnv: using flake
error: Package ‘linear-generics-0.2’ in /nix/store/3g25cg20m43hvsy17d7nz0jxwk79a77w-source/pkgs/development/haskell-modules/hackage-packages.nix:168150 is marked as broken, refusing to evaluate.