Add kind equalities to GHC.
[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:
6         f :: (Maybe, Either Int)
7
8 tcfail212.hs:10:14: error:
9     • Expecting one more argument to ‘Either Int’
10       Expected a type, but ‘Either Int’ has kind ‘* -> *’
11     • In the type signature:
12         f :: (Maybe, Either Int)
13
14 tcfail212.hs:13:7: error:
15     • Expecting a lifted type, but ‘Int#’ is unlifted
16     • In the type signature:
17         g :: (Int#, Int#)
18
19 tcfail212.hs:13:13: error:
20     • Expecting a lifted type, but ‘Int#’ is unlifted
21     • In the type signature:
22         g :: (Int#, Int#)