Lots of error message wibbling, following the
[ghc.git] / testsuite / tests / indexed-types / should_fail / T2239.stderr
1
2 T2239.hs:47:13:
3     Couldn't match type `forall b1. MyEq b1 Bool => b1 -> b1'
4                   with `b -> b'
5     Expected type: (forall b. MyEq b Bool => b -> b) -> b -> b
6       Actual type: (forall b. MyEq b Bool => b -> b)
7                    -> forall b. MyEq b Bool => b -> b
8     In the expression:
9         id ::
10           (forall b. MyEq b Bool => b -> b)
11           -> (forall b. MyEq b Bool => b -> b)
12     In an equation for `complexFD':
13         complexFD
14           = id ::
15               (forall b. MyEq b Bool => b -> b)
16               -> (forall b. MyEq b Bool => b -> b)
17
18 T2239.hs:50:13:
19     Couldn't match type `forall b1. b1 ~ Bool => b1 -> b1'
20                   with `b -> b'
21     Expected type: (forall b. b ~ Bool => b -> b) -> b -> b
22       Actual type: (forall b. b ~ Bool => b -> b)
23                    -> forall b. b ~ Bool => b -> b
24     In the expression:
25         id ::
26           (forall b. b ~ Bool => b -> b) -> (forall b. b ~ Bool => b -> b)
27     In an equation for `complexTF':
28         complexTF
29           = id ::
30               (forall b. b ~ Bool => b -> b) -> (forall b. b ~ Bool => b -> b)