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 ==