Changes between Version 5 and Version 6 of MonomorphismRestriction


Ignore:
Timestamp:
Feb 15, 2006 4:14:41 AM (9 years ago)
Author:
john@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • MonomorphismRestriction

    v5 v6  
    5959 * would make parentheses matter in a certain situation (n+k patterns and negative literals already do this) 
    6060 
     61== ability to choose on a module by module basis == 
     62 
     63Just like we have a directive for controlling the defaulting behavior in the 
     64type checker, we can have a directive for turning on/off the monomorphism 
     65restriction when infering types for a given module. 
    6166 
    6267== All variable/pattern bindings are monomorphic unless a signature is given ==