wiki:MonomorphismRestriction/Optional

Choose whether to use the MonomorphismRestriction on a module by module basis

Just like we have a directive for controlling the defaulting behavior in the type checker, we can have a directive for turning on/off the monomorphism restriction when infering types for a given module.

Last modified 10 years ago Last modified on May 14, 2008 3:05:28 PM