diff options
Diffstat (limited to 'testsuite/tests/dependent/should_compile/DkNameRes.hs')
-rw-r--r-- | testsuite/tests/dependent/should_compile/DkNameRes.hs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/testsuite/tests/dependent/should_compile/DkNameRes.hs b/testsuite/tests/dependent/should_compile/DkNameRes.hs index 4110b33882..bc468f872d 100644 --- a/testsuite/tests/dependent/should_compile/DkNameRes.hs +++ b/testsuite/tests/dependent/should_compile/DkNameRes.hs @@ -1,9 +1,10 @@ -{-# LANGUAGE TypeFamilies, DataKinds, PolyKinds #-} +{-# LANGUAGE TypeFamilies, DataKinds, PolyKinds, StandaloneKindSignatures #-} module DkNameRes where import Data.Proxy import Data.Kind -type family IfK (e :: Proxy (j :: Bool)) :: Type where +type IfK :: Proxy (j :: Bool) -> Type +type family IfK e where IfK (_ :: Proxy True) = () |