- -- Analyze the expression without expansion, to verify legality.
- -- After analysis we remove references to the index variable because
- -- the expression will be analyzed anew when the enclosing aggregate
- -- is expanded, and the construct is rewritten as a loop with a new
- -- index variable.
+ -- Analyze expression without expansion, to verify legality.
+ -- When generating code, we then remove references to the index
+ -- variable, because the expression will be analyzed anew after
+ -- rewritting as a loop with a new index variable; when not
+ -- generating code we leave the analyzed expression as it is.