archives

« Bugzilla Issues Index

#2911 — Insufficient definition for CurrentLabelSet


The definition of CurrentLabelSet given in Section 13.12.2 is not sufficient, because it is not clear that CurrentLabelSet's don't cross function boundaries.

Also, the notions of "the enclosing currentLabelSet" (section 13.8.1) and "the immediately enclosing currentLabelSet" (Sections 13.12.1-2) should be defined rather than guessed (in particular, again, taking care to not cross function boundaries).


fixed in rev30 editor's draft


fixed in rev30