Commit 454f6d4f authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Accept test output

parent 3870919a
T2239.hs:45:13:
Couldn't match expected type `b -> b'
with actual type `forall b1. MyEq b1 Bool => b1 -> b1'
Expected type: (forall b1. MyEq b1 Bool => b1 -> b1) -> b -> b
Actual type: (forall b1. MyEq b1 Bool => b1 -> b1)
-> forall b1. MyEq b1 Bool => b1 -> b1
In the expression:
id ::
(forall b. MyEq b Bool => b -> b)
-> (forall b. MyEq b Bool => b -> b)
In an equation for `complexFD':
complexFD
= id ::
(forall b. MyEq b Bool => b -> b)
-> (forall b. MyEq b Bool => b -> b)
T2239.hs:48:13:
Couldn't match expected type `b -> b'
with actual type `forall b1. b1 ~ Bool => b1 -> b1'
Expected type: (forall b1. b1 ~ Bool => b1 -> b1) -> b -> b
Actual type: (forall b1. b1 ~ Bool => b1 -> b1)
-> forall b1. b1 ~ Bool => b1 -> b1
In the expression:
id ::
(forall b. b ~ Bool => b -> b) -> (forall b. b ~ Bool => b -> b)
In an equation for `complexTF':
complexTF
= id ::
(forall b. b ~ Bool => b -> b) -> (forall b. b ~ Bool => b -> b)
T2239.hs:47:13:
Couldn't match expected type `b -> b'
with actual type `forall b1. MyEq b1 Bool => b1 -> b1'
Expected type: (forall b1. MyEq b1 Bool => b1 -> b1) -> b -> b
Actual type: (forall b1. MyEq b1 Bool => b1 -> b1)
-> forall b1. MyEq b1 Bool => b1 -> b1
In the expression:
id ::
(forall b. MyEq b Bool => b -> b)
-> (forall b. MyEq b Bool => b -> b)
In an equation for `complexFD':
complexFD
= id ::
(forall b. MyEq b Bool => b -> b)
-> (forall b. MyEq b Bool => b -> b)
T2239.hs:50:13:
Couldn't match expected type `b -> b'
with actual type `forall b1. b1 ~ Bool => b1 -> b1'
Expected type: (forall b1. b1 ~ Bool => b1 -> b1) -> b -> b
Actual type: (forall b1. b1 ~ Bool => b1 -> b1)
-> forall b1. b1 ~ Bool => b1 -> b1
In the expression:
id ::
(forall b. b ~ Bool => b -> b) -> (forall b. b ~ Bool => b -> b)
In an equation for `complexTF':
complexTF
= id ::
(forall b. b ~ Bool => b -> b) -> (forall b. b ~ Bool => b -> b)
T3330c.hs:22:35:
Couldn't match type `f3' with `Der f3'
`f3' is a rigid type variable bound by
Couldn't match type `f2' with `Der f2'
`f2' is a rigid type variable bound by
a pattern with constructor
RSum :: forall (f :: * -> *) (g :: * -> *).
R f -> R g -> R (f :+: g)
......@@ -18,7 +18,7 @@ T3330c.hs:22:35:
T3330c.hs:22:40:
Could not deduce (Rep ((->) x1))
from the context (Rep f1, f2 ~ (f3 :+: g))
from the context (Rep f, f1 ~ (f2 :+: g))
arising from a use of `plug'
Possible fix:
add (Rep ((->) x1)) to the context of
......@@ -33,19 +33,19 @@ T3330c.hs:22:40:
T3330c.hs:22:45:
Couldn't match type `Der ((->) x)' with `R'
Expected type: Der ((->) x) (f x)
Actual type: R f1
Expected type: Der ((->) x) (f1 x)
Actual type: R f
In the first argument of `plug', namely `rf'
In the first argument of `Inl', namely `(plug rf df x)'
In the expression: Inl (plug rf df x)
T3330c.hs:22:45:
Couldn't match type `f1' with `f x'
`f1' is a rigid type variable bound by
a pattern with constructor
RSum :: forall (f :: * -> *) (g :: * -> *).
R f -> R g -> R (f :+: g)
at T3330c.hs:22:10
Couldn't match type `f' with `f1 x'
`f' is a rigid type variable bound by
a pattern with constructor
RSum :: forall (f :: * -> *) (g :: * -> *).
R f -> R g -> R (f :+: g)
at T3330c.hs:22:10
In the first argument of `plug', namely `rf'
In the first argument of `Inl', namely `(plug rf df x)'
In the expression: Inl (plug rf df x)
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