Tons of error message wibbles
[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:16:12:
11     Couldn't match type `Int' with `Bool'
12     Inaccessible code in
13       a pattern with constructor
14         MkT3 :: forall a. a ~ Bool => T a,
15       in a case alternative
16     In the pattern: MkT3
17     In a case alternative: MkT3 -> ()
18     In the expression: case x of { MkT3 -> () }
19
20 FrozenErrorTests.hs:30:9:
21     Occurs check: cannot construct the infinite type: a ~ [a]
22     Expected type: [a]
23       Actual type: F a Bool
24     Relevant bindings include
25       test1 :: a (bound at FrozenErrorTests.hs:30:1)
26     In the expression: goo1 False undefined
27     In an equation for `test1': test1 = goo1 False undefined
28
29 FrozenErrorTests.hs:33:15:
30     Couldn't match type `Int' with `[Int]'
31     Expected type: [[Int]]
32       Actual type: F [Int] Bool
33     In the first argument of `goo2', namely `(goo1 False undefined)'
34     In the expression: goo2 (goo1 False undefined)
35     In an equation for `test2': test2 = goo2 (goo1 False undefined)
36
37 FrozenErrorTests.hs:34:9:
38     Couldn't match type `Int' with `[Int]'
39     Expected type: [[Int]]
40       Actual type: F [Int] Bool
41     In the expression: goo1 False (goo2 undefined)
42     In an equation for `test3': test3 = goo1 False (goo2 undefined)
43
44 FrozenErrorTests.hs:49:15:
45     Couldn't match type `T2 c c' with `M (T2 (T2 c c) c)'
46     Expected type: T2 (M (T2 (T2 c c) c)) (T2 (T2 c c) c)
47       Actual type: F (T2 (T2 c c) c) Bool
48     Relevant bindings include
49       test4 :: T2 (T2 c c) c (bound at FrozenErrorTests.hs:49:1)
50     In the first argument of `goo4', namely `(goo3 False undefined)'
51     In the expression: goo4 (goo3 False undefined)
52     In an equation for `test4': test4 = goo4 (goo3 False undefined)
53
54 FrozenErrorTests.hs:50:9:
55     Couldn't match type `T2 c c' with `M (T2 (T2 c c) c)'
56     Expected type: T2 (M (T2 (T2 c c) c)) (T2 (T2 c c) c)
57       Actual type: F (T2 (T2 c c) c) Bool
58     Relevant bindings include
59       test5 :: T2 (T2 c c) c (bound at FrozenErrorTests.hs:50:1)
60     In the expression: goo3 False (goo4 undefined)
61     In an equation for `test5': test5 = goo3 False (goo4 undefined)