Error message modifications following ghc-new-solver modifications
[ghc.git] / testsuite / tests / typecheck / should_fail / FrozenErrorTests.stderr
1
2 FrozenErrorTests.hs:10:8:
3     Couldn't match type `a' with `T a'
4       `a' is a rigid type variable bound by
5           the type signature for foo :: a ~ T a => a -> a
6           at FrozenErrorTests.hs:10:15
7     Inaccessible code in
8       the type signature for foo :: a ~ T a => a -> a
9
10 FrozenErrorTests.hs:14:12:
11     Couldn't match type `b' with `T b'
12       `b' is a rigid type variable bound by
13           a pattern with constructor
14             MkT2 :: forall a b. b ~ T b => b -> T a,
15           in a case alternative
16           at FrozenErrorTests.hs:14:12
17     Inaccessible code in
18       a pattern with constructor
19         MkT2 :: forall a b. b ~ T b => b -> T a,
20       in a case alternative
21     In the pattern: MkT2 y
22     In a case alternative: MkT2 y -> ()
23     In the expression: case x of { MkT2 y -> () }
24
25 FrozenErrorTests.hs:19:12:
26     Couldn't match type `Int' with `Bool'
27     Inaccessible code in
28       a pattern with constructor
29         MkT3 :: forall a. a ~ Bool => T a,
30       in a case alternative
31     In the pattern: MkT3
32     In a case alternative: MkT3 -> ()
33     In the expression: case x of { MkT3 -> () }
34
35 FrozenErrorTests.hs:33:9:
36     Occurs check: cannot construct the infinite type: a0 = [a0]
37     Expected type: [a0]
38       Actual type: F a0 Bool
39     In the expression: goo1 False undefined
40     In an equation for `test1': test1 = goo1 False undefined
41
42 FrozenErrorTests.hs:36:15:
43     Couldn't match type `Int' with `[Int]'
44     Expected type: [[Int]]
45       Actual type: F [Int] Bool
46     In the first argument of `goo2', namely `(goo1 False undefined)'
47     In the expression: goo2 (goo1 False undefined)
48     In an equation for `test2': test2 = goo2 (goo1 False undefined)
49
50 FrozenErrorTests.hs:37:9:
51     Couldn't match type `[Int]' with `Int'
52     Expected type: [[Int]]
53       Actual type: F [Int] Bool
54     In the expression: goo1 False (goo2 undefined)
55     In an equation for `test3': test3 = goo1 False (goo2 undefined)
56
57 FrozenErrorTests.hs:52:15:
58     Couldn't match type `T2 c0 c0' with `M (T2 (T2 c0 c0) c0)'
59     Expected type: T2 (M (T2 (T2 c0 c0) c0)) (T2 (T2 c0 c0) c0)
60       Actual type: F (T2 (T2 c0 c0) c0) Bool
61     In the first argument of `goo4', namely `(goo3 False undefined)'
62     In the expression: goo4 (goo3 False undefined)
63     In an equation for `test4': test4 = goo4 (goo3 False undefined)
64
65 FrozenErrorTests.hs:53:9:
66     Couldn't match type `T2 c0 c0' with `M (T2 (T2 c0 c0) c0)'
67     Expected type: T2 (M (T2 (T2 c0 c0) c0)) (T2 (T2 c0 c0) c0)
68       Actual type: F (T2 (T2 c0 c0) c0) Bool
69     In the expression: goo3 False (goo4 undefined)
70     In an equation for `test5': test5 = goo3 False (goo4 undefined)