Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / typecheck / should_compile / T13871.hs
1 {-# LANGUAGE ConstraintKinds #-}
2 {-# LANGUAGE GADTs #-}
3 {-# LANGUAGE TypeFamilies #-}
4 {-# LANGUAGE DataKinds, PolyKinds #-}
5 {-# LANGUAGE TypeOperators #-}
6 module Foo where
7
8 import Data.Kind
9
10 data Foo (a :: Type) (b :: Type) where
11 MkFoo :: (a ~ Int, b ~ Char) => Foo a b
12
13 data family Sing (a :: k)
14 data SFoo (z :: Foo a b) where
15 SMkFoo :: SFoo MkFoo