summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T17567StupidTheta.stderr
blob: 376f9733c03ea6c60f041ae6df77499ff3eb62bd (plain)
1
2
3
4
5
6
7
8
9

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

T17567StupidTheta.hs:6:1: error: [GHC-16220]
    • Uninferrable type variable k0 in
      the datatype context:
      forall (a :: k -> k0). (a b :: k0) ~ (a c :: k0)
    • In the data declaration for ‘T’