Changes between Version 15 and Version 16 of RelaxedDependencyAnalysis

Timestamp:

07/10/09 17:13:58 (4 years ago)

Author:

ross@…

Comment:

same list of declarations

RelaxedDependencyAnalysis

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