23
More About Regions
•With explicit indices leave a dimension
blank to
inherit from enclosing scope
[1..n, 1] begin
X
:= Y; -- replace first column
[ , 2] X += X; --
double second column
end;
•Arrays
must “conform” in rank and both define elements for indices of region
•“Applicable
region” for assignments are (generally) the most tightly enclosing region of the rank of the
left hand side