... | ... | @@ -13,7 +13,11 @@ The M-R is widely regarded as an ugly part of the Haskell 98 language definition |
|
|
|
|
|
|
|
|
|
|
|
We could simply remove the M-R from the language, but suggest that compilers issue a warning when a loss of sharing might occur due to overloading of a variable or pattern binding.
|
|
|
We could simply remove the M-R from the language, but suggest that implementations issue a warning when a loss of sharing might occur due to overloading of a variable or pattern binding.
|
|
|
|
|
|
|
|
|
|
|
|
The warning would not be mandatory - the report doesn't mandate implementation behaviour of this kind, rather it would be a recommendation. To make the warning mandatory would require talking about operational semantics, which the report also doesn't do.
|
|
|
|
|
|
|
|
|
|
... | ... | |