Improve error recovery in the typechecker
[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#)