On Thu, Jan 26, 2006 at 03:01:32PM +0100, John Hughes wrote: > (I wonder what happens today, if you write mutually recursive > definitions where the M-R applies to some, but not others?)
Under the Haskell 98 rules (4.5.5), the MR applies to whole dependency groups. H98 also requires (4.5.2) that the types of all variables in a dependency group have the same context (whether MR applies or not). _______________________________________________ Haskell-prime mailing list Haskell-prime@haskell.org http://haskell.org/mailman/listinfo/haskell-prime
