diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_compile/tc269.hs')
| -rw-r--r-- | testsuite/tests/typecheck/should_compile/tc269.hs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/testsuite/tests/typecheck/should_compile/tc269.hs b/testsuite/tests/typecheck/should_compile/tc269.hs index 3ac88ce8e9..5f133462b9 100644 --- a/testsuite/tests/typecheck/should_compile/tc269.hs +++ b/testsuite/tests/typecheck/should_compile/tc269.hs @@ -1,5 +1,6 @@ {-# LANGUAGE RankNTypes #-} {-# LANGUAGE PolyKinds #-} +{-# LANGUAGE StandaloneKindSignatures #-} module Tc269 where import GHC.Types @@ -18,4 +19,6 @@ type TSyn = T -- everything. Need an explicit type signature. data K (a :: k) = K data S (p :: forall k. k -> Type) = S (SSyn K) -type SSyn = (S :: (forall k. k -> Type) -> Type) + +type SSyn :: (forall k. k -> Type) -> Type +type SSyn = S |