... | @@ -96,6 +96,15 @@ see [ http://www.haskell.org//pipermail/haskell-prime/2006-January/000117.html]( |
... | @@ -96,6 +96,15 @@ 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)
|
|
- 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
|
|
## All variable/pattern bindings are monomorphic unless a signature is given
|
|
|
|
|
|
|
|
|
... | | ... | |