the last paragraph of "Default Compensation Order" section

[Alex Yiu <alex.yiu@oracle.com>]

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