summaryrefslogtreecommitdiff
path: root/tests/examples/ghc86/Dep3.hs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/examples/ghc86/Dep3.hs')
-rw-r--r--tests/examples/ghc86/Dep3.hs26
1 files changed, 26 insertions, 0 deletions
diff --git a/tests/examples/ghc86/Dep3.hs b/tests/examples/ghc86/Dep3.hs
new file mode 100644
index 0000000..f22f9f8
--- /dev/null
+++ b/tests/examples/ghc86/Dep3.hs
@@ -0,0 +1,26 @@
+{-# LANGUAGE TypeFamilies, TypeInType, GADTs #-}
+
+module Dep3 where
+
+import Data.Kind
+import GHC.Exts ( Constraint )
+
+type Star1 = Type
+
+data Id1 (a :: Star1) where
+ Id1 :: a -> Id1 a
+
+data Id1' :: Star1 -> Type where
+ Id1' :: a -> Id1' a
+
+type family Star2 x where
+ Star2 x = Type
+
+data Id2a (a :: Star2 Constraint) = Id2a a
+
+
+data Id2 (a :: Star2 Constraint) where
+ Id2 :: a -> Id2 a
+
+data Id2' :: Star2 Constraint -> Type where
+ Id2' :: a -> Id2' a