|
|
# Choose whether to use the [MonomorphismRestriction](monomorphism-restriction) on a module by module basis
|
|
# Choose whether to use the [MonomorphismRestriction](monomorphism-restriction) on a module by module basis
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Just like we have a directive for controlling the defaulting behavior in the
|
|
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
|
|
type checker, we can have a directive for turning on/off the monomorphism
|
|
|
restriction when infering types for a given module.
|
|
restriction when infering types for a given module.
|
|
|
|
|
|
|
|
|
