Changes between Version 1 and Version 2 of MonomorphismRestriction/Remove


Ignore:
Timestamp:
May 14, 2008 3:01:27 PM (6 years ago)
Author:
simonmar@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • MonomorphismRestriction/Remove

    v1 v2  
    1 = Lift the monomorphism restriction == 
     1= Lift the monomorphism restriction = 
    22 
    33We could simply remove the M-R from the language, but suggest that implementations issue a warning when a loss of sharing might occur due to overloading of a variable or pattern binding.