wiki:MonomorphismRestriction/Optional

Version 1 (modified by simonmar@…, 6 years ago) (diff)

text moved from MonmorphismRestriction?

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.