summaryrefslogtreecommitdiff
path: root/testsuite/tests/polykinds/T11480b.hs
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/polykinds/T11480b.hs')
-rw-r--r--testsuite/tests/polykinds/T11480b.hs2
1 files changed, 2 insertions, 0 deletions
diff --git a/testsuite/tests/polykinds/T11480b.hs b/testsuite/tests/polykinds/T11480b.hs
index 0ec19753a0..575df745de 100644
--- a/testsuite/tests/polykinds/T11480b.hs
+++ b/testsuite/tests/polykinds/T11480b.hs
@@ -14,6 +14,7 @@
{-# language DefaultSignatures #-}
{-# language FunctionalDependencies #-}
{-# language UndecidableSuperClasses #-}
+{-# language StandaloneKindSignatures #-}
-- This code, supplied by Edward Kmett, uses UndecidableSuperClasses along
-- with a bunch of other stuff, so it's a useful stress test.
@@ -39,6 +40,7 @@ instance Vacuous p a
data Dict (p :: Constraint) where
Dict :: p => Dict p
+type Category :: (i -> i -> Type) -> Constraint
class Functor (Op p) (Nat p (->)) p => Category (p :: i -> i -> Type) where
type Ob p :: i -> Constraint
type Ob p = Vacuous p