... | ... | @@ -106,7 +106,7 @@ Replace the body of [ section 4.5.1](http://haskell.org/onlinereport/decls.html# |
|
|
with:
|
|
|
|
|
|
>
|
|
|
> In general the static semantics are given by the normal Hindley-Milner inference rules. A dependency analysis transformation is first performed to increase polymorphism.
|
|
|
> In general the static semantics are given by applying the normal Hindley-Milner inference rules. In order to increase polymorphism, these rules are applied to groups of bindings identified by a *dependency analysis*.
|
|
|
|
|
|
>
|
|
|
> A binding *b<sub>1</sub>**depends* on a binding *b<sub>2</sub>* if either
|
... | ... | |