Changes between Initial Version and Version 1 of MonomorphismRestriction/Optional


Ignore:
Timestamp:
May 14, 2008 3:05:28 PM (6 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.