[project @ 2001-05-04 14:53:44 by simonpj]

Add mutual recursion between types test

diff --git a/ghc/tests/typecheck/should_compile/tc128.hs b/ghc/tests/typecheck/should_compile/tc128.hs
new file mode 100644 (file)
index 0000000..139e8e5
--- /dev/null
+++ b/ghc/tests/typecheck/should_compile/tc128.hs
@@ -0,0 +1,10 @@
+-- !!! Test type checking of mutually recursive groups
+-- GHC 5.00 was falling into a black hole when type checking a recursive
+-- group of type declarations including a *chain* of type synonyms.
+
+module ShouldCompile where
+
+  type PhraseFun = PMap -> Float
+  type PMap      = () -> Player
+  data Player    = MkT PhraseFun
+