tweag / pirouette

Language-generic workbench for building static analysis
MIT License
47 stars 2 forks source link

Use ghc 9.0.2: fixing nixpkgs HLS #136

Closed VictorCMiraldo closed 2 years ago

VictorCMiraldo commented 2 years ago

A few commits back we started relying on haskell-language-server from nixpkgs instead of compiling our own. That lead to issues because it was compiled with ghc 9.0.2 and we were building pirouette with ghc 8.10.7; This PR makes pirouette build with ghc 9.0.2;