Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / dependent / should_fail / T13780c.hs
1 {-# LANGUAGE GADTs #-}
2 {-# LANGUAGE TypeFamilies #-}
3 {-# LANGUAGE DataKinds, PolyKinds #-}
4 module T13780c where
5
6 import Data.Kind
7 import T13780b
8
9 type family ElimBool (p :: Bool -> Type) (b :: Bool) (s :: Sing b)
10 (pFalse :: p False) (pTrue :: p True) :: p b where
11 ElimBool _ _ SFalse pFalse _ = pFalse
12 ElimBool _ _ STrue _ pTrue = pTrue