Merge branch 'no-pred-ty'
[ghc.git] / testsuite / tests / indexed-types / should_fail / SimpleFail14.stderr
1
2 SimpleFail14.hs:5:15:
3     Predicate `a ~ a' used as a type
4     Expected kind `?', but `a ~ a' has kind `Constraint'
5     In the type `a ~ a'
6     In the definition of data constructor `T'
7     In the data type declaration for `T'