Test Trac #8002

testsuite/tests/indexed-types/should_compile/Makefile

@@ -25,3 +25,9 @@ T6152:
 	$(RM) T6152.o T6152.hi 
 	'$(TEST_HC)' $(TEST_HC_OPTS) -c T6152.hs
 	'$(TEST_HC)' $(TEST_HC_OPTS) -c T6152.hs -fforce-recomp
+
+T8002:
+	$(RM) T8002a.o T8002a.hi T8002b.o T8002b.hi 
+	'$(TEST_HC)' $(TEST_HC_OPTS) -c T8002b.hs
+	'$(TEST_HC)' $(TEST_HC_OPTS) -c T8002a.hs
+	'$(TEST_HC)' $(TEST_HC_OPTS) -c T8002.hs

testsuite/tests/indexed-types/should_compile/T8002.hs

+{-# LANGUAGE TypeFamilies #-}
+module T8002 where
+
+import T8002a

testsuite/tests/indexed-types/should_compile/T8002a.hs

+{-# LANGUAGE UndecidableInstances #-}
+{-# LANGUAGE TypeFamilies #-}
+
+module T8002a where
+
+import T8002b
+
+class QA a where
+   type QRep a
+   type QRep a = QRep (Maybe a)
+
+instance QA () where
+   type QRep () = ()

testsuite/tests/indexed-types/should_compile/T8002b.hs

+{-# LANGUAGE TypeFamilies #-}
+module T8002b where
+
+type family Rep a
+type instance Rep Int = Int

testsuite/tests/indexed-types/should_compile/all.T

@@ -214,3 +214,8 @@ test('T7804', normal, compile, [''])
 test('T7837', normal, compile, ['-O -ddump-rule-firings'])
 test('T4185', normal, compile, [''])
 
+# Cuased infinite loop in the compiler
+test('T8002',
+     normal,
+     run_command,
+     ['$MAKE -s --no-print-directory T8002'])