Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / AssocTyDef01.hs
1 {-# LANGUAGE TypeFamilies #-}
2 module AssocTyDef01 where
3
4 class OtherCls a where
5 type OtherTyp a
6
7 class Cls a where
8 type Typ a
9 type OtherType a = Int
10 -- Default for another class AT: want error