Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / typecheck / should_compile / valid_hole_fits_interactions.hs
1 {-# LANGUAGE GADTs #-}
2 {-# LANGUAGE DataKinds #-}
3 {-# LANGUAGE TypeFamilies #-}
4
5 module ValidSubsInteractions where
6
7 import Data.Kind
8
9
10 data SBool :: Bool -> Type where
11 SFalse :: SBool 'False
12 STrue :: SBool 'True
13
14 f :: SBool 'True
15 f = _