ghc/tests/typecheck/should_compile/tc128.hs

   1 -- !!! Test type checking of mutually recursive groups
   2 -- GHC 5.00 was falling into a black hole when type checking a recursive
   3 -- group of type declarations including a *chain* of type synonyms.
   4
   5 module ShouldCompile where
   6
   7   type PhraseFun = PMap -> Float
   8   type PMap      = () -> Player
   9   data Player    = MkT PhraseFun
  10