diff options
Diffstat (limited to 'testsuite/tests/indexed-types/should_compile/GADT12.hs')
| -rw-r--r-- | testsuite/tests/indexed-types/should_compile/GADT12.hs | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/testsuite/tests/indexed-types/should_compile/GADT12.hs b/testsuite/tests/indexed-types/should_compile/GADT12.hs index 89362f3cbb..275b687fd3 100644 --- a/testsuite/tests/indexed-types/should_compile/GADT12.hs +++ b/testsuite/tests/indexed-types/should_compile/GADT12.hs @@ -6,10 +6,12 @@ module ShouldCompile where +import qualified Data.Kind as K (Type) + data Typed data Untyped -type family TU a b :: * +type family TU a b :: K.Type type instance TU Typed b = b type instance TU Untyped b = () @@ -20,7 +22,7 @@ data Type a where TypeString :: Type String TypeList :: Type t -> Type [t] -data Expr :: * -> * -> * {- tu a -} where +data Expr :: K.Type -> K.Type -> K.Type {- tu a -} where Const :: Type a -> a -> Expr tu (TU tu a) Var2 :: a -> TU tu (Type a) -> Expr tu (TU tu a) |