liquidhaskell: fix build with ghc-8.10.x

This commit is contained in:
Peter Simons 2020-08-27 15:19:25 +02:00
parent 8ef2edb8ad
commit 5b7e93b920

View file

@ -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