Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / dependent / should_compile / Dep2.hs
1 {-# LANGUAGE PolyKinds, GADTs #-}
2
3 module Dep2 where
4
5 data G (a :: k) where
6 G1 :: G Int
7 G2 :: G Maybe