Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / typecheck / should_compile / T13915b.hs
1 {-# LANGUAGE TypeFamilies #-}
2 {-# LANGUAGE DataKinds #-}
3 module Foo where
4
5 import Data.Typeable (Proxy(..), typeRep)
6
7 data family T a
8 data instance T Int = MkT
9
10 main :: IO ()
11 main = print $ typeRep (Proxy :: Proxy MkT)