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". _______________________________________________ Haskell-prime mailing list Haskell-prime@haskell.org http://www.haskell.org/mailman/listinfo/haskell-prime
