Changes between Version 13 and Version 14 of RelaxedDependencyAnalysis


Ignore:
Timestamp:
Jul 10, 2009 11:56:28 PM (5 years ago)
Author:
ross@…
Comment:

no more transformation

Legend:

Unmodified
Added
Removed
Modified
  • RelaxedDependencyAnalysis

    v13 v14  
    8181<div style="background: #ccffcc"> 
    8282}}} 
    83   In general the static semantics are given by the normal Hindley-Milner inference rules.  A dependency analysis transformation is first performed to increase polymorphism. 
     83  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 
    8585  A binding ''b,,1,,'' ''depends'' on a binding ''b,,2,,'' if either