Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / dependent / should_fail / T15245.hs
1 {-# LANGUAGE TypeFamilies, DataKinds, PolyKinds, TypeApplications #-}
2
3 module T15245 where
4
5 import Type.Reflection
6
7 data family K
8 data instance K = MkK
9
10 main = print (typeRep @'MkK)