archives

« Bugzilla Issues Index

#3498 — 13.11.3: "hasUndefinedLabels" not defined


In 13.11.3 "Static Semantics: ContainsUndefinedBreakTarget",
in group 3,
step 2 says:
If hasUndefinedLabels is true, then return true.
but /hasUndefinedLabels/ is not necessarily defined at that point.


Similarly in 13.11.4 / group 3 / step 2.


fixed in rev31 editor's draft


In Rev31