Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail100.hs
1 -- This one broke GHC 5.02, because of the unsaturated
2 -- uses of type synonyms, which are nevertheless kind-correct.
3
4 module ShouldCompile where
5
6 type A i = i
7 type B = A