Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / typecheck / should_compile / T13915a.hs
1 {-# LANGUAGE DataKinds, PolyKinds #-}
2 module Bug where
3
4 import T13915a_Foo
5
6 data Proxy (a :: k)
7 data S = MkS (Proxy 'MkT)