Changes between Version 3 and Version 4 of MonomorphismRestriction


Ignore:
Timestamp:
Jan 31, 2006 10:24:29 AM (8 years ago)
Author:
simonmar@…
Comment:

clarify situation regarding warnings

Legend:

Unmodified
Added
Removed
Modified
  • MonomorphismRestriction

    v3 v4  
    77== Remove it altogether == 
    88 
    9 We could simply remove the M-R from the language, but suggest that compilers issue a warning when a loss of sharing might occur due to overloading of a variable or pattern binding. 
     9We 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.   
     10 
     11The warning would not be mandatory - the report doesn't mandate implementation behaviour of this kind, rather it would be a recommendation.  To make the warning mandatory would require talking about operational semantics, which the report also doesn't do. 
    1012 
    1113'''For:'''