diff options
Diffstat (limited to 'testsuite/tests/polykinds/T6093.hs')
| -rw-r--r-- | testsuite/tests/polykinds/T6093.hs | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/testsuite/tests/polykinds/T6093.hs b/testsuite/tests/polykinds/T6093.hs index 1063b8661d..6ba0878b87 100644 --- a/testsuite/tests/polykinds/T6093.hs +++ b/testsuite/tests/polykinds/T6093.hs @@ -1,12 +1,14 @@ {-# LANGUAGE GADTs, RankNTypes, PolyKinds #-} module T6093 where +import qualified Data.Kind as K (Type) + -- Polymorphic kind recursion -data R :: forall k. k -> * where +data R :: forall k. k -> K.Type where MkR :: R f -> R (f ()) data IOWitness (a :: k) = IOW -data Type :: forall k. k -> * where +data Type :: forall k. k -> K.Type where SimpleType :: IOWitness a -> Type a ConstructedType :: Type f -> Type a -> Type (f a) |