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