Check for rep poly on wildcard binders.
[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 _ = ()