... | ... | @@ -109,7 +109,7 @@ with: |
|
|
> 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
|
|
|
> A binding *b<sub>1</sub>**depends* on a binding *b<sub>2</sub>* in the same list of declarations if either
|
|
|
|
|
|
> >
|
|
|
> > 1) *b<sub>1</sub>* contains a free identifier that has no type signature and is bound by *b<sub>2</sub>*, or
|
... | ... | |