summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/tcfail151.stderr
blob: 5e4dcfcf2f3b654b9da7256ec1edae3e089b402b (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

tcfail151.hs:1:14: Warning:
    -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language.

tcfail151.hs:8:6:
    Expecting one more argument to ‘Name a’
    Expected a constraint, but ‘Name a’ has kind ‘* -> Constraint’
    In the data declaration for ‘Exp’

tcfail151.hs:8:30:
    Expecting one more argument to ‘a’
    Expected a type, but ‘a’ has kind ‘* -> *’
    In the type ‘a’
    In the definition of data constructor ‘MkExp’
    In the data declaration for ‘Exp’