Changes between Version 4 and Version 5 of MonomorphismRestriction


Ignore:
Timestamp:
Feb 1, 2006 12:36:04 PM (8 years ago)
Author:
simonmar@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • MonomorphismRestriction

    v4 v5  
    2323 * Might be hard to give an accurate warning; just warning about overloaded variable bindings isn't good enough, because they don't all result in loss of sharing. 
    2424 * The warning might be confusing to new users (but if we could make it accurate, it wouldn't happen much) 
     25 * For cases where you want the polymorphic type and don't want to write a type signature, then having the compiler emit a warning by default is undesirable. 
    2526 
    2627== A monomorphic binding operator ==