Define TyCoRep.ppSuggestExplicitKinds, and use it
[ghc.git] / testsuite / tests / typecheck / should_fail / T6018Afail.hs
1 {-# LANGUAGE TypeFamilyDependencies #-}
2
3 module T6018Afail where
4
5 type family G a b c = (result :: *) | result -> a b c
6 type instance G Int Char Bool = Bool
7 type instance G Char Bool Int = Int