ad5985e63a81b17387b8eef3b0fcaf940ced12e6
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail212.stderr
1
2 tcfail212.hs:10:7: error:
3     • Expecting one more argument to ‘Maybe’
4       Expected a type, but ‘Maybe’ has kind ‘* -> *’
5     • In the type signature: f :: (Maybe, Either Int)
6
7 tcfail212.hs:10:14: error:
8     • Expecting one more argument to ‘Either Int’
9       Expected a type, but ‘Either Int’ has kind ‘* -> *’
10     • In the type signature: f :: (Maybe, Either Int)
11
12 tcfail212.hs:13:7: error:
13     • Expecting a lifted type, but ‘Int#’ is unlifted
14     • In the type signature: g :: (Int#, Int#)
15
16 tcfail212.hs:13:13: error:
17     • Expecting a lifted type, but ‘Int#’ is unlifted
18     • In the type signature: g :: (Int#, Int#)
19
20 tcfail212.hs:14:6: error:
21     • Couldn't match a lifted type with an unlifted type
22       When matching types
23         a :: *
24         Int# :: TYPE 'IntRep
25     • In the expression: 1#
26       In the expression: (1#, 2#)
27       In an equation for ‘g’: g = (1#, 2#)
28     • Relevant bindings include
29         g :: (a, b) (bound at tcfail212.hs:14:1)
30
31 tcfail212.hs:14:10: error:
32     • Couldn't match a lifted type with an unlifted type
33       When matching types
34         b :: *
35         Int# :: TYPE 'IntRep
36     • In the expression: 2#
37       In the expression: (1#, 2#)
38       In an equation for ‘g’: g = (1#, 2#)
39     • Relevant bindings include
40         g :: (a, b) (bound at tcfail212.hs:14:1)