The monomorphism restriction and monomorphic pattern bindings
ross at soi.city.ac.uk
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