Rearrange error msgs and add section markers (Trac #11014).
[ghc.git] / testsuite / tests / typecheck / should_fail / TcCoercibleFail.stderr
1
2 TcCoercibleFail.hs:11:8: error:
3     Couldn't match representation of type ‘Int’ with that of ‘()’
4       arising from a use of ‘coerce’
5     In the expression: coerce
6     In the expression: coerce $ one :: ()
7     In an equation for ‘foo1’: foo1 = coerce $ one :: ()
8
9 TcCoercibleFail.hs:14:8: error:
10     Couldn't match representation of type ‘m Int’ with that of ‘m Age’
11       arising from a use of ‘coerce’
12     NB: We cannot know what roles the parameters to ‘m’ have;
13       we must assume that the role is nominal
14     In the expression: coerce
15     In the expression: coerce $ (return one :: m Int)
16     In an equation for ‘foo2’: foo2 = coerce $ (return one :: m Int)
17     Relevant bindings include
18       foo2 :: m Age (bound at TcCoercibleFail.hs:14:1)
19
20 TcCoercibleFail.hs:16:8: error:
21     Couldn't match type ‘Int’ with ‘Age’ arising from a use of ‘coerce’
22     In the expression: coerce
23     In the expression: coerce $ Map one () :: Map Age ()
24     In an equation for ‘foo3’: foo3 = coerce $ Map one () :: Map Age ()
25
26 TcCoercibleFail.hs:18:8: error:
27     Couldn't match representation of type ‘Int’ with that of ‘Down Int’
28       arising from a use of ‘coerce’
29     The data constructor ‘Down’ of newtype ‘Down’ is not in scope
30     In the expression: coerce
31     In the expression: coerce $ one :: Down Int
32     In an equation for ‘foo4’: foo4 = coerce $ one :: Down Int
33
34 TcCoercibleFail.hs:21:8: error:
35     Couldn't match representation of type ‘Void’ with that of ‘()’
36       arising from a use of ‘coerce’
37     In the expression: coerce :: Void -> ()
38     In an equation for ‘foo5’: foo5 = coerce :: Void -> ()
39
40 TcCoercibleFail.hs:24:9: error:
41     Couldn't match representation of type ‘VoidBad ()’
42                              with that of ‘()’
43       arising from a use of ‘coerce’
44     In the expression: coerce :: (VoidBad ()) -> ()
45     In an equation for ‘foo5'’: foo5' = coerce :: (VoidBad ()) -> ()
46
47 TcCoercibleFail.hs:28:8: error:
48     Reduction stack overflow; size = 201
49     When simplifying the following type: Fix (Either Age)
50     Use -freduction-depth=0 to disable this check
51     (any upper bound you could choose might fail unpredictably with
52      minor updates to GHC, so disabling the check is recommended if
53      you're sure that type checking should terminate)
54     In the expression: coerce :: Fix (Either Int) -> Fix (Either Age)
55     In an equation for ‘foo6’:
56         foo6 = coerce :: Fix (Either Int) -> Fix (Either Age)
57
58 TcCoercibleFail.hs:29:8: error:
59     Couldn't match representation of type ‘Either
60                                              Int (Fix (Either Int))’
61                              with that of ‘()’
62       arising from a use of ‘coerce’
63     In the expression: coerce :: Fix (Either Int) -> ()
64     In an equation for ‘foo7’: foo7 = coerce :: Fix (Either Int) -> ()