summaryrefslogtreecommitdiff
path: root/testsuite/tests/polykinds/T11523.hs
diff options
context:
space:
mode:
authorVladislav Zavialov <vlad.z.4096@gmail.com>2019-05-31 15:03:37 +0300
committerVladislav Zavialov <vlad.z.4096@gmail.com>2019-09-28 14:33:10 +0300
commit8a85b4b0cc7643637d3b32a72a9775664d1ebdec (patch)
treedf372ad3d8aa458ff4b53aa27ca7995b781c9376 /testsuite/tests/polykinds/T11523.hs
parent6f9fa0be8d43a7c9618f6e27e3190dc08bf86bfa (diff)
downloadhaskell-wip/testsuite-no-cusks.tar.gz
Disable CUSKs by defaultwip/testsuite-no-cusks
Diffstat (limited to 'testsuite/tests/polykinds/T11523.hs')
-rw-r--r--testsuite/tests/polykinds/T11523.hs2
1 files changed, 2 insertions, 0 deletions
diff --git a/testsuite/tests/polykinds/T11523.hs b/testsuite/tests/polykinds/T11523.hs
index aff0f9ed90..0630c53a32 100644
--- a/testsuite/tests/polykinds/T11523.hs
+++ b/testsuite/tests/polykinds/T11523.hs
@@ -15,6 +15,7 @@
{-# language FunctionalDependencies #-}
{-# language UndecidableSuperClasses #-}
{-# language UndecidableInstances #-}
+{-# language StandaloneKindSignatures #-}
module T11523 where
@@ -28,6 +29,7 @@ newtype Y (p :: i -> j -> Type) (a :: j) (b :: i) = Y { getY :: p b a }
class Vacuous (a :: i)
instance Vacuous a
+type Category :: Cat i -> Constraint
class (Functor p, Dom p ~ Op p, Cod p ~ Nat p (->)) => Category (p :: Cat i) where
type Op p :: Cat i
type Op p = Y p