Test Trac #8985
authorSimon Peyton Jones <simonpj@microsoft.com>
Mon, 14 Apr 2014 12:06:22 +0000 (13:06 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Mon, 14 Apr 2014 12:06:22 +0000 (13:06 +0100)
testsuite/tests/polykinds/T8985.hs [new file with mode: 0644]
testsuite/tests/polykinds/all.T

diff --git a/testsuite/tests/polykinds/T8985.hs b/testsuite/tests/polykinds/T8985.hs
new file mode 100644 (file)
index 0000000..28a354b
--- /dev/null
@@ -0,0 +1,16 @@
+{-# LANGUAGE DataKinds, PolyKinds, TypeFamilies, GADTs, TypeOperators #-}
+
+module T8905 where
+
+data X (xs :: [k]) = MkX
+data Y :: (k -> *) -> [k] -> * where
+  MkY :: f x -> Y f (x ': xs)
+
+type family F (a :: [[*]]) :: *
+type instance F xss = Y X xss
+
+works :: Y X '[ '[ ] ] -> ()
+works (MkY MkX) = ()
+
+fails :: F '[ '[ ] ] -> ()
+fails (MkY MkX) = ()
index 8dc1181..3634d83 100644 (file)
@@ -99,3 +99,4 @@ test('T8616', normal, compile_fail,[''])
 test('T8566a', expect_broken(8566), compile,[''])
 test('T7481', normal, compile_fail,[''])
 test('T8705', normal, compile, [''])
+test('T8985', normal, compile, [''])