the last paragraph of "Default Compensation Order" section

In the last paragraph of "Default Compensation Order" section, we have
seemingly have two phrases that are seemingly difficult to be jelled
together: 

"... Rule
2 is to permit a depth-first traversal ..." and 

"default
compensation order mandated by the rules
here is consistent with strict reverse order of completion, but not
in depth-first order ..."

 

Here is an attempt to smooth this paragraph out: 

----------------------

An effect of Rule 2 is to permit a depth-first traversal of the lexical
scope tree for default

compensation, respecting the control dependency relation among peer
scopes as dictated

by Rule 1. Since depth-first order implies that such compensation is
only dependent on

the compensation of its nested scopes, default compensation order can
be easily defined.

The default compensation order mandated by the rules here is consistent
with strict

reverse order of completion. Strict reverse order of completion applied
to compensation

of all scopes may be not in depth-first order and require interleaving
of nested

compensations across peer scopes, which is not supported by this
specification.

----------------------

(I attached the PDF and DOC version as well).

Let's see whether this text is accepted tomorrow.

Regards,

Alex Yiu

DepthFirst_Clarification_reword.pdf

DepthFirst_Clarification_reword.doc