Version 1 (modified by Simon Marlow, 9 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.