diff options
author | Peter Simons <simons@cryp.to> | 2020-08-27 15:19:25 +0200 |
---|---|---|
committer | Peter Simons <simons@cryp.to> | 2020-08-27 15:37:48 +0200 |
commit | 5b7e93b920bc451154b3c53030fe877d3efe5e4d (patch) | |
tree | 5891905d35c9398330e25abc77ab7d73853d3393 /pkgs/development/haskell-modules/configuration-common.nix | |
parent | 8ef2edb8ad80a44e6e377c308f9d37aad6e2c0d4 (diff) | |
download | nixpkgs-5b7e93b920bc451154b3c53030fe877d3efe5e4d.tar nixpkgs-5b7e93b920bc451154b3c53030fe877d3efe5e4d.tar.gz nixpkgs-5b7e93b920bc451154b3c53030fe877d3efe5e4d.tar.bz2 nixpkgs-5b7e93b920bc451154b3c53030fe877d3efe5e4d.tar.lz nixpkgs-5b7e93b920bc451154b3c53030fe877d3efe5e4d.tar.xz nixpkgs-5b7e93b920bc451154b3c53030fe877d3efe5e4d.tar.zst nixpkgs-5b7e93b920bc451154b3c53030fe877d3efe5e4d.zip |
liquidhaskell: fix build with ghc-8.10.x
Diffstat (limited to 'pkgs/development/haskell-modules/configuration-common.nix')
-rw-r--r-- | pkgs/development/haskell-modules/configuration-common.nix | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/pkgs/development/haskell-modules/configuration-common.nix b/pkgs/development/haskell-modules/configuration-common.nix index 3e659f8a2cc..3c663b41b9c 100644 --- a/pkgs/development/haskell-modules/configuration-common.nix +++ b/pkgs/development/haskell-modules/configuration-common.nix @@ -1450,6 +1450,10 @@ self: super: { # So let's not go there any just disable the tests altogether. hspec-core = dontCheck super.hspec-core; + # github.com/ucsd-progsys/liquidhaskell/issues/1729 + liquidhaskell = super.liquidhaskell.override { Diff = self.Diff_0_3_4; }; + Diff_0_3_4 = dontCheck super.Diff_0_3_4; + # INSERT NEW OVERRIDES ABOVE THIS LINE } // (let |