Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail101.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 data T k = MkT (k Int)
8
9 f :: T A -- BAD!
10 f = error "foo"