diff options
Diffstat (limited to 'testsuite/tests/polykinds/T11480a.hs')
-rw-r--r-- | testsuite/tests/polykinds/T11480a.hs | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/testsuite/tests/polykinds/T11480a.hs b/testsuite/tests/polykinds/T11480a.hs index b491a21518..87460a2e61 100644 --- a/testsuite/tests/polykinds/T11480a.hs +++ b/testsuite/tests/polykinds/T11480a.hs @@ -2,7 +2,8 @@ NoImplicitPrelude, FlexibleContexts, MultiParamTypeClasses, GADTs, ConstraintKinds, FlexibleInstances, UndecidableInstances, - FunctionalDependencies, UndecidableSuperClasses #-} + FunctionalDependencies, UndecidableSuperClasses, + StandaloneKindSignatures #-} module T11480a where @@ -11,7 +12,8 @@ import qualified Prelude data Nat (c :: i -> i -> Type) (d :: j -> j -> Type) (f :: i -> j) (g :: i -> j) -class Functor p (Nat p (->)) p => Category (p :: i -> i -> Type) +type Category :: (i -> i -> Type) -> Constraint +class Functor p (Nat p (->)) p => Category p class (Category dom, Category cod) => Functor (dom :: i -> i -> Type) (cod :: j -> j -> Type) (f :: i -> j) |