Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / AssocTyDef08.hs
1 module AssocTyDef07 where
2
3 class Cls a where
4 type Typ a = Int
5 -- Default without family OR extension flag