Changes between Version 14 and Version 15 of RelaxedDependencyAnalysis


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

tighten dependency clause 1)

Legend:

Unmodified
Added
Removed
Modified
  • RelaxedDependencyAnalysis

    v14 v15  
    8585  A binding ''b,,1,,'' ''depends'' on a binding ''b,,2,,'' if either 
    8686  
    87     1) ''b,,1,,'' uses a variable ''x'' that has no type signature and is defined by ''b,,2,,'', or 
     87    1) ''b,,1,,'' contains a free identifier that has no type signature and is bound by ''b,,2,,'', or 
    8888 
    8989    2) ''b,,1,,'' depends on a binding that depends on ''b,,2,,''.