Add kind equalities to GHC.
[ghc.git] / testsuite / tests / indexed-types / should_fail / SimpleFail14.stderr
1
2 SimpleFail14.hs:5:15: error:
3     • Expected a type, but ‘a ~ a’ has kind ‘Constraint’
4     • In the type ‘a ~ a’
5       In the definition of data constructor ‘T’
6       In the data declaration for ‘T’