... | ... | @@ -162,7 +162,7 @@ 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*.
|
|
|
>
|
|
|
>
|
|
|
|
... | ... | |