blob: 139e8e5a14e2dc169197ee2c983246b18d950cc8 (
plain)
1
2
3
4
5
6
7
8
9
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
|