projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
0aca75a
)
[project @ 2001-05-04 14:53:44 by simonpj]
author
simonpj
<unknown>
Fri, 4 May 2001 14:53:44 +0000
(14:53 +0000)
committer
simonpj
<unknown>
Fri, 4 May 2001 14:53:44 +0000
(14:53 +0000)
Add mutual recursion between types test
ghc/tests/typecheck/should_compile/tc128.hs
[new file with mode: 0644]
patch
|
blob
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
+