Test Trac #8449

testsuite/tests/polykinds/Makefile

@@ -32,3 +32,9 @@ T7438:
 	$(RM) -f T7438.hi T7438.o T7438a.hi T7438a.o
 	'$(TEST_HC)' $(TEST_HC_OPTS) -c T7438a.hs
 	-'$(TEST_HC)' $(TEST_HC_OPTS) -c T7438.hs
+
+# Need to compile separately so that the interface files get read
+T8449:
+	$(RM) -f T8449.hi T8449.o T8449a.hi T8449a.o
+	'$(TEST_HC)' $(TEST_HC_OPTS) -c T8449a.hs
+	'$(TEST_HC)' $(TEST_HC_OPTS) -c T8449.hs

testsuite/tests/polykinds/T8449.hs

+ {-# LANGUAGE GADTs, PolyKinds, DataKinds, TypeFamilies #-}
+
+module T8449 where
+
+import T8449a
+
+foo = SNil
+
+

testsuite/tests/polykinds/T8449a.hs

+{-# LANGUAGE GADTs, TypeFamilies, DataKinds, PolyKinds #-}
+
+module T8449a where
+
+data Lst a = Nil | Cons a (Lst a)
+
+data family SList (a :: k)
+data instance SList (a :: Lst k) where
+   SNil :: SList 'Nil

testsuite/tests/polykinds/all.T

@@ -92,3 +92,4 @@ test('T7939a', normal, compile_fail, [''])
 test('T8132', normal, compile_fail, [''])
 test('T8359', normal, compile, [''])
 test('T8391', normal, compile, [''])
+test('T8449', normal, run_command, ['$MAKE -s --no-print-directory T8449'])