... | ... | @@ -27,6 +27,7 @@ The warning would not be mandatory - the report doesn't mandate implementation b |
|
|
|
|
|
- Might be hard to give an accurate warning; just warning about overloaded variable bindings isn't good enough, because they don't all result in loss of sharing.
|
|
|
- The warning might be confusing to new users (but if we could make it accurate, it wouldn't happen much)
|
|
|
- For cases where you want the polymorphic type and don't want to write a type signature, then having the compiler emit a warning by default is undesirable.
|
|
|
|
|
|
## A monomorphic binding operator
|
|
|
|
... | ... | |