The monomorphism restriction and monomorphic pattern bindings

Ross Paterson ross at
Wed Apr 30 07:18:47 EDT 2008

On Wed, Apr 23, 2008 at 10:32:24AM -0700, Simon Marlow wrote:
> The current proposal on the table for what to do about the monomorphism  
> restriction (henceforth MR) is
>   * remove the MR entirely

Just to be clear, are we talking only about Rule 1 of the MR?

Rule 2 seems unavoidable, but it should probably say "entire group of
mutually recursive modules" rather than "entire module".

More information about the Haskell-prime mailing list