Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / typecheck / should_run / T11120.hs
1 {-# LANGUAGE MagicHash, DataKinds #-}
2 -- See also TypeOf.hs
3
4 import GHC.Prim
5 import Data.Typeable
6
7 data CharHash = CharHash Char#
8
9 main :: IO ()
10 main = print $ typeRep (Proxy :: Proxy 'CharHash)