Commit de4df6b4 authored by eir@cis.upenn.edu's avatar eir@cis.upenn.edu
Browse files

Testsuite wibbles from previous commits.

parent 3f5d1a13
......@@ -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)
......
......@@ -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'])
],
......
......@@ -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
......
......@@ -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
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment