Re: The dreaded M-R

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).