From: simonpj <unknown>
Date: Fri, 4 May 2001 14:53:44 +0000 (+0000)
Subject: [project @ 2001-05-04 14:53:44 by simonpj]
X-Git-Tag: Approximately_9120_patches~1992
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=42cbdbec0bab366311ba6abb5c93928e93750092;hp=0aca75a20ce9387938d762c387fbedbb2726358e;p=ghc-hetmet.git

[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
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
+