summaryrefslogtreecommitdiff
path: root/testsuite/tests/patsyn/should_compile/T10997_1a.hs
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/patsyn/should_compile/T10997_1a.hs')
-rw-r--r--testsuite/tests/patsyn/should_compile/T10997_1a.hs6
1 files changed, 4 insertions, 2 deletions
diff --git a/testsuite/tests/patsyn/should_compile/T10997_1a.hs b/testsuite/tests/patsyn/should_compile/T10997_1a.hs
index 11af525c53..aac19b0319 100644
--- a/testsuite/tests/patsyn/should_compile/T10997_1a.hs
+++ b/testsuite/tests/patsyn/should_compile/T10997_1a.hs
@@ -1,9 +1,11 @@
-{-# LANGUAGE PatternSynonyms, ViewPatterns, ConstraintKinds, TypeFamilies, PolyKinds, KindSignatures #-}
+{-# LANGUAGE PatternSynonyms, ViewPatterns, ConstraintKinds, TypeFamilies,
+ PolyKinds, KindSignatures, StandaloneKindSignatures #-}
module T10997_1a where
import Data.Kind
-type family Showable (a :: k) :: Constraint where
+type Showable :: k -> Constraint
+type family Showable a where
Showable (a :: Type) = (Show a)
Showable a = ()