The dreaded M-R

Ross Paterson ross at
Thu Jan 26 11:38:08 EST 2006

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

More information about the Haskell-prime mailing list