Changes between Initial Version and Version 1 of MonomorphismRestriction/Optional


Ignore:
Timestamp:
May 14, 2008 3:05:28 PM (7 years ago)
Author:
simonmar@…
Comment:

text moved from MonmorphismRestriction?

Legend:

Unmodified
Added
Removed
Modified
  • MonomorphismRestriction/Optional

    v1 v1  
     1= Choose whether to use the MonomorphismRestriction on a module by module basis =
     2
     3Just like we have a directive for controlling the defaulting behavior in the
     4type checker, we can have a directive for turning on/off the monomorphism
     5restriction when infering types for a given module.