Add regression test for #15666
authorRyan Scott <ryan.gl.scott@gmail.com>
Tue, 25 Sep 2018 12:33:06 +0000 (08:33 -0400)
committerRyan Scott <ryan.gl.scott@gmail.com>
Tue, 25 Sep 2018 12:33:15 +0000 (08:33 -0400)
Commit 59f38587d44efd00b10a6d98f6a7a1b22e87f13a ended up
fixing #15666. Let's add a regression test to ensure that it stays
fixed.

testsuite/tests/dependent/should_compile/T15666.hs [new file with mode: 0644]
testsuite/tests/dependent/should_compile/all.T

diff --git a/testsuite/tests/dependent/should_compile/T15666.hs b/testsuite/tests/dependent/should_compile/T15666.hs
new file mode 100644 (file)
index 0000000..022c3a0
--- /dev/null
@@ -0,0 +1,29 @@
+{-# LANGUAGE
+  NoImplicitPrelude,
+  TypeInType, PolyKinds, DataKinds,
+  ScopedTypeVariables,
+  TypeFamilies,
+  UndecidableInstances
+#-}
+
+module T15666 where
+
+import Data.Kind(Type)
+
+data PolyType k (t :: k)
+
+type Wrap (t :: k) = PolyType k t
+type Unwrap pt = (GetType pt :: GetKind pt)
+
+type family GetKind (pt :: Type) :: Type where
+  GetKind (PolyType k t) = k
+
+type family GetType (pt :: Type) :: k where
+  GetType (PolyType k t) = t
+
+data Composite :: a -> b -> Type
+
+type family RecursiveWrap expr where
+  RecursiveWrap (Composite a b) =
+    Wrap (Composite (Unwrap (RecursiveWrap a)) (Unwrap (RecursiveWrap b)))
+  RecursiveWrap x = Wrap x
index 418fba2..5f6e901 100644 (file)
@@ -54,3 +54,4 @@ test('DkNameRes', normal, compile, [''])
 test('T15346', normal, compile, [''])
 test('T15419', normal, compile, [''])
 test('T14066h', normal, compile, [''])
+test('T15666', normal, compile, [''])