Define TyCoRep.ppSuggestExplicitKinds, and use it
[ghc.git] / testsuite / tests / typecheck / should_fail / BadUnboxedTuple.hs
1 {-# LANGUAGE TypeFamilies, KindSignatures, TypeInType #-}
2
3 module BadUnboxedTuple where
4
5 import GHC.Exts
6
7 type family F :: TYPE UnboxedTupleRep
8
9 foo :: F -> ()
10 foo _ = ()