archives

« Bugzilla Issues Index

#506 — 12.12: unitalicized "result"


In 12.12 "Labelled Statements",
under "Runtime Semantics: Labelled Evaluation",
step 5.a says:
"Let result be NormalCompletion(stmtResult.[[value]])."
where "result" is in upright font.

Change it to italic font.


corrected in editor's draft


fixed in rev10, Sept. 27 2012 draft