ats-pkg: Unbreak by disabling tests

2020-03-13 20:24:52 +01:00
parent 7335de2dab
commit d0eb52f5cd
2 changed files with 1 additions and 2 deletions
@@ -1220,7 +1220,7 @@ self: super: {
  temporary-resourcet = doJailbreak super.temporary-resourcet;

  # Requires dhall >= 1.23.0
-  ats-pkg = super.ats-pkg.override { dhall = self.dhall_1_29_0; };
+  ats-pkg = dontCheck (super.ats-pkg.override { dhall = self.dhall_1_29_0; });

  # Test suite doesn't work with current QuickCheck
  # https://github.com/pruvisto/heap/issues/11