Add kind equalities to GHC.
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail146.stderr
1
2 tcfail146.hs:7:22: error:
3     • Expected a type, but ‘SClass a’ has kind ‘Constraint’
4     • In the type ‘SClass a’
5       In the definition of data constructor ‘SCon’
6       In the data declaration for ‘SData’