Removing a restriction on nested forall

In the latest committee meeting, a proposal was raised to omit the
following restriction
on nested replicators (p. 78, line 40 in draft A)

"NOTE—The Name defined by a replicator represents a non-static variable.
Since the bounds of both an IndexRange and a
ValueRange must be defined by statically computable expressions, those
expressions cannot refer to the replication variable
Name of another Replicator, and therefore neither the IndexRange nor the
ValueRange of a nested Replicator can be defined
in terms of the replicator variable Name of a containing Replicator."

I asked for a chance to check the impact of this change, and the conclusion
reached by my colleagues and myself is that
this is a useful feature and therefore we don't object to this last-minute
extension.

________________________________________________________
Avigail Orni
Formal Methods Group
IBM Haifa Research Laboratory
Tel: 972-4-829-6396 ornia@il.ibm.com
Received on Wed Apr 14 04:45:17 2004