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

tcfail151.hs:1:14: warning: [-Wdeprecated-flags (in -Wdefault)]
    -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language.

tcfail151.hs:8:6: error: [GHC-83865]
    • 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: error: [GHC-83865]
    • 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’