Fundeps work even for unary type classes
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail151.stderr
1
2 tcfail151.hs:1:14: Warning:
3     -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language.
4
5 tcfail151.hs:8:6:
6     Expecting one more argument to ‘Name a’
7     Expected a constraint, but ‘Name a’ has kind ‘* -> Constraint’
8     In the data declaration for ‘Exp’
9
10 tcfail151.hs:8:30:
11     Expecting one more argument to ‘a’
12     Expected a type, but ‘a’ has kind ‘* -> *’
13     In the type ‘a’
14     In the definition of data constructor ‘MkExp’
15     In the data declaration for ‘Exp’