Changes between Version 15 and Version 16 of RelaxedDependencyAnalysis


Ignore:
Timestamp:
Jul 11, 2009 12:13:58 AM (6 years ago)
Author:
ross@…
Comment:

same list of declarations

Legend:

Unmodified
Added
Removed
Modified
  • RelaxedDependencyAnalysis

    v15 v16  
    8383  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''.
    8484
    85   A binding ''b,,1,,'' ''depends'' on a binding ''b,,2,,'' if either
     85  A binding ''b,,1,,'' ''depends'' on a binding ''b,,2,,'' in the same list of declarations if either
    8686 
    8787    1) ''b,,1,,'' contains a free identifier that has no type signature and is bound by ''b,,2,,'', or