diff options
Diffstat (limited to 'testsuite/tests/patsyn/should_compile/T8968-2.hs')
| -rw-r--r-- | testsuite/tests/patsyn/should_compile/T8968-2.hs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/testsuite/tests/patsyn/should_compile/T8968-2.hs b/testsuite/tests/patsyn/should_compile/T8968-2.hs index 0b196a5f88..2ec4d2dfb5 100644 --- a/testsuite/tests/patsyn/should_compile/T8968-2.hs +++ b/testsuite/tests/patsyn/should_compile/T8968-2.hs @@ -1,7 +1,9 @@ {-# LANGUAGE GADTs, KindSignatures, PatternSynonyms, FlexibleContexts #-} module ShouldCompile where -data X :: (* -> *) -> * -> * where +import Data.Kind (Type) + +data X :: (Type -> Type) -> Type -> Type where Y :: (Show a) => f a -> X f (Maybe a) pattern C :: (Show (a, Bool)) => a -> X Maybe (Maybe (a, Bool)) |