... | ... | @@ -71,6 +71,13 @@ see [ http://www.haskell.org//pipermail/haskell-prime/2006-January/000117.html]( |
|
|
|
|
|
- would make parentheses matter in a certain situation (n+k patterns and negative literals already do this)
|
|
|
|
|
|
## ability to choose 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.
|
|
|
|
|
|
## All variable/pattern bindings are monomorphic unless a signature is given
|
|
|
|
|
|
**For:**
|
... | ... | |