Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / dependent / should_compile / DkNameRes.hs
1 {-# LANGUAGE TypeFamilies, DataKinds, PolyKinds #-}
2
3 module DkNameRes where
4
5 import Data.Proxy
6 import Data.Kind
7
8 type family IfK (e :: Proxy (j :: Bool)) :: Type where
9 IfK (_ :: Proxy True) = ()