Testsuite wibbles from previous commits.
authorRichard Eisenberg <eir@cis.upenn.edu>
Sat, 12 Mar 2016 20:52:22 +0000 (15:52 -0500)
committerRichard Eisenberg <eir@cis.upenn.edu>
Tue, 15 Mar 2016 03:50:53 +0000 (23:50 -0400)
testsuite/tests/indexed-types/should_fail/T5439.stderr
testsuite/tests/perf/compiler/all.T
testsuite/tests/polykinds/T9222.stderr
testsuite/tests/typecheck/should_fail/T9260.stderr

index b0cf937..b76b0f9 100644 (file)
@@ -7,6 +7,9 @@ T5439.hs:82:33: error:
         ‘inj $ Failure (e :: SomeException)’
       In a stmt of a 'do' block:
         c <- complete ev $ inj $ Failure (e :: SomeException)
+      In the expression:
+        do { c <- complete ev $ inj $ Failure (e :: SomeException);
+             return $ c || not first }
     • Relevant bindings include
         register :: Bool -> Peano n -> WaitOps (HDrop n rs) -> IO Bool
           (bound at T5439.hs:64:9)
index e7e467c..c19d51d 100644 (file)
@@ -364,7 +364,7 @@ test('T5030',
            #                        of family-applications leads to less sharing, I think
            # 2015-07-11:  201882912 reason unknown
 
-           (wordsize(64), 653710960, 10)]),
+           (wordsize(64), 342331936, 10)]),
              # Previously 530000000 (+/- 10%)
              # 17/1/13:   602993184  (x86_64/Linux)
              #            (new demand analyser)
@@ -382,6 +382,7 @@ test('T5030',
              #                          of family-applications leads to less sharing, I think
              # 2015-03-17 403932600  tweak to solver algorithm
             # 2015-12-11 653710960  TypeInType (see #11196)
+            # 2016-03-14 342331936  unify type families eagerly
 
        only_ways(['normal'])
       ],
index 69e850c..b3d31ef 100644 (file)
@@ -8,7 +8,7 @@ T9222.hs:13:3: error:
           at T9222.hs:13:3
       ‘b’ is a rigid type variable bound by
         the type of the constructor ‘Want’:
-          forall i j (a :: (i, j)) (b :: i) (c :: j).
+          forall i1 j1 (a :: (i1, j1)) (b :: i1) (c :: j1).
           ((a ~ '(b, c)) => Proxy b) -> Want a
         at T9222.hs:13:3
       Expected type: Proxy b0
index 0773da2..37c37bd 100644 (file)
@@ -2,6 +2,6 @@
 T9260.hs:12:8: error:
     • Couldn't match type ‘2’ with ‘1’
       Expected type: Fin 1
-        Actual type: Fin (1 + 1)
+        Actual type: Fin ((0 + 1) + 1)
     • In the expression: Fsucc Fzero
       In an equation for ‘test’: test = Fsucc Fzero