Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / indexed-types / should_compile / T12938.hs
1 {-# LANGUAGE PolyKinds, TypeFamilies #-}
2
3 module Bug where
4
5 import GHC.Exts
6
7 class HasRep a where
8 type Rep a :: TYPE r