diff options
Diffstat (limited to 'testsuite/tests/ghci/scripts/T7939.hs')
-rw-r--r-- | testsuite/tests/ghci/scripts/T7939.hs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/testsuite/tests/ghci/scripts/T7939.hs b/testsuite/tests/ghci/scripts/T7939.hs index 04a1f1a623..e27c39b84b 100644 --- a/testsuite/tests/ghci/scripts/T7939.hs +++ b/testsuite/tests/ghci/scripts/T7939.hs @@ -1,4 +1,4 @@ -{-# LANGUAGE TypeFamilies, PolyKinds, DataKinds, TypeOperators #-} +{-# LANGUAGE TypeFamilies, PolyKinds, DataKinds, TypeOperators, StandaloneKindSignatures #-} module T7939 where import Data.Kind (Type) @@ -22,6 +22,7 @@ type family K a where K '[] = Nothing K (h ': t) = Just h -type family L (a :: k) (b :: Type) :: k where +type L :: k -> Type -> k +type family L a b where L Int Int = Bool L Maybe Bool = IO |