diff options
Diffstat (limited to 'testsuite/tests/patsyn/should_fail/T15694.hs')
| -rw-r--r-- | testsuite/tests/patsyn/should_fail/T15694.hs | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/testsuite/tests/patsyn/should_fail/T15694.hs b/testsuite/tests/patsyn/should_fail/T15694.hs index 915ad7e7dd..ac424f1d24 100644 --- a/testsuite/tests/patsyn/should_fail/T15694.hs +++ b/testsuite/tests/patsyn/should_fail/T15694.hs @@ -1,4 +1,5 @@ -{-# Language RankNTypes, PatternSynonyms, TypeOperators, DataKinds, PolyKinds, KindSignatures, GADTs #-} +{-# Language RankNTypes, PatternSynonyms, TypeOperators, DataKinds, PolyKinds, + StandaloneKindSignatures, GADTs #-} module T15694 where @@ -9,7 +10,8 @@ data Ctx :: Type -> Type where E :: Ctx(Type) (:&:) :: a -> Ctx(as) -> Ctx(a -> as) -data ApplyT(kind::Type) :: kind -> Ctx(kind) -> Type where +type ApplyT :: forall (kind::Type) -> kind -> Ctx(kind) -> Type +data ApplyT k t ctx where AO :: a -> ApplyT(Type) a E AS :: ApplyT(ks) (f a) ctx -> ApplyT(k -> ks) f (a:&:ctx) |