Failing test for #13149.
authorEdward Z. Yang <ezyang@cs.stanford.edu>
Sun, 22 Jan 2017 20:11:05 +0000 (12:11 -0800)
committerEdward Z. Yang <ezyang@cs.stanford.edu>
Sun, 22 Jan 2017 20:11:05 +0000 (12:11 -0800)
Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
testsuite/tests/backpack/should_compile/T13149.bkp [new file with mode: 0644]
testsuite/tests/backpack/should_compile/all.T

diff --git a/testsuite/tests/backpack/should_compile/T13149.bkp b/testsuite/tests/backpack/should_compile/T13149.bkp
new file mode 100644 (file)
index 0000000..cdaf767
--- /dev/null
@@ -0,0 +1,16 @@
+{-# LANGUAGE TypeFamilies #-}
+{-# LANGUAGE Rank2Types #-}
+{-# LANGUAGE TypeInType #-}
+unit p where
+    signature A where
+        import GHC.Types
+        type family F a where
+          F Bool = Type
+    module B where
+        import A
+        foo :: forall (a :: F Bool). a -> a
+        foo x = x
+unit q where
+    dependency p[A=<A>]
+    module C where
+        import B
index 9897c03..e7834df 100644 (file)
@@ -42,3 +42,5 @@ test('bkp47', normal, backpack_compile, [''])
 test('bkp48', normal, backpack_compile, [''])
 test('bkp49', normal, backpack_compile, [''])
 test('bkp50', normal, backpack_compile, [''])
+
+test('T13149', expect_broken(13149), backpack_compile, [''])