Testsuite error message changes
[ghc.git] / testsuite / tests / typecheck / should_fail / FrozenErrorTests.stderr
1
2 FrozenErrorTests.hs:12:12:
3     Couldn't match type ‘Int’ with ‘Bool’
4     Inaccessible code in
5       a pattern with constructor
6         MkT3 :: forall a. (a ~ Bool) => T a,
7       in a case alternative
8     In the pattern: MkT3
9     In a case alternative: MkT3 -> ()
10     In the expression: case x of { MkT3 -> () }
11
12 FrozenErrorTests.hs:26:9:
13     Occurs check: cannot construct the infinite type: a ~ [a]
14     Expected type: [a]
15       Actual type: F a Bool
16     Relevant bindings include
17       test1 :: a (bound at FrozenErrorTests.hs:26:1)
18     In the expression: goo1 False undefined
19     In an equation for ‘test1’: test1 = goo1 False undefined
20
21 FrozenErrorTests.hs:29:15:
22     Couldn't match type ‘[Int]’ with ‘Int’
23     Expected type: [[Int]]
24       Actual type: F [Int] Bool
25     In the first argument of ‘goo2’, namely ‘(goo1 False undefined)’
26     In the expression: goo2 (goo1 False undefined)
27     In an equation for ‘test2’: test2 = goo2 (goo1 False undefined)
28
29 FrozenErrorTests.hs:30:9:
30     Couldn't match type ‘Int’ with ‘[Int]’
31     Expected type: [[Int]]
32       Actual type: F [Int] Bool
33     In the expression: goo1 False (goo2 undefined)
34     In an equation for ‘test3’: test3 = goo1 False (goo2 undefined)
35
36 FrozenErrorTests.hs:45:15:
37     Couldn't match type ‘T2 c c’ with ‘M (T2 (T2 c c) c)’
38     Expected type: T2 (M (T2 (T2 c c) c)) (T2 (T2 c c) c)
39       Actual type: F (T2 (T2 c c) c) Bool
40     Relevant bindings include
41       test4 :: T2 (T2 c c) c (bound at FrozenErrorTests.hs:45:1)
42     In the first argument of ‘goo4’, namely ‘(goo3 False undefined)’
43     In the expression: goo4 (goo3 False undefined)
44     In an equation for ‘test4’: test4 = goo4 (goo3 False undefined)
45
46 FrozenErrorTests.hs:46:9:
47     Couldn't match type ‘T2 c c’ with ‘M (T2 (T2 c c) c)’
48     Expected type: T2 (M (T2 (T2 c c) c)) (T2 (T2 c c) c)
49       Actual type: F (T2 (T2 c c) c) Bool
50     Relevant bindings include
51       test5 :: T2 (T2 c c) c (bound at FrozenErrorTests.hs:46:1)
52     In the expression: goo3 False (goo4 undefined)
53     In an equation for ‘test5’: test5 = goo3 False (goo4 undefined)