« Bugzilla Issues Index
#2971 — 13.6.1.3: capitalized "Return"
- bug_id:
2971
- creation_ts:
2014-06-02 13:43:00 -0700
- short_desc:
13.6.1.3: capitalized "Return"
- delta_ts:
2014-07-26 00:37:18 -0700
- product:
Draft for 6th Edition
- component:
editorial issue
- version:
Rev 25: May 22, 2014 Draft
- rep_platform:
All
- op_sys:
All
- bug_status:
RESOLVED
- resolution:
FIXED
- priority:
Normal
- bug_severity:
trivial
- everconfirmed:
true
- reporter:
Michael Dyck
- assigned_to:
Allen Wirfs-Brock
- commentid:
8847
- comment_count:
0
- who:
Michael Dyck
- bug_when:
2014-06-02 13:43:19 -0700
In 13.6.1.3 "Runtime Semantics: LabelledEvaluation",
group 1 / step 2.f says:
If exprValue is false, Return NormalCompletion(V).
s|Return|return|
(leftover from Bug 2696)
- commentid:
8882
- comment_count:
1
- who:
Allen Wirfs-Brock
- bug_when:
2014-06-11 15:46:25 -0700
fixed in rev26 editor's draft
- commentid:
9337
- comment_count:
2
- who:
Allen Wirfs-Brock
- bug_when:
2014-07-19 17:32:11 -0700
fixed in rev26
- commentid:
9575
- comment_count:
3
- who:
Michael Dyck
- bug_when:
2014-07-26 00:37:18 -0700
confirmed fixed