Oct. 28, 2003
2:02 a.m.
Guido:
there are already well-established rules for deciding whether a bare name is local or not, and those rules have always worked "at a distance".
If we adopt a method of nonlocal assignment that allows the deprecation of "global", then we have a chance to change this, if we think that such "at-a-distance" rules are undesirable in general. Do we think that? Einstein-certainly-seemed-to-ly, Greg Ewing, Computer Science Dept, +--------------------------------------+ University of Canterbury, | A citizen of NewZealandCorp, a | Christchurch, New Zealand | wholly-owned subsidiary of USA Inc. | greg@cosc.canterbury.ac.nz +--------------------------------------+