« Bugzilla Issues Index
#299 — 8.12.5: extra "Return"
- bug_id:
299
- creation_ts:
2012-03-09 23:25:00 -0800
- short_desc:
8.12.5: extra "Return"
- delta_ts:
2012-05-04 14:03:17 -0700
- product:
Draft for 6th Edition
- component:
editorial issue
- version:
Rev 6: February 2012 Draft
- rep_platform:
All
- op_sys:
All
- bug_status:
RESOLVED
- resolution:
FIXED
- priority:
Normal
- bug_severity:
minor
- everconfirmed:
true
- reporter:
Michael Dyck
- assigned_to:
Allen Wirfs-Brock
- commentid:
741
- comment_count:
0
- who:
Michael Dyck
- bug_when:
2012-03-09 23:25:22 -0800
In 8.12.5 [[Put]] (P, V, Throw),
step 4.b is "Return the result of ..." and
step 4.c is "Return."
Step 4.c is "dead code" now, and should presumably be deleted.
- commentid:
877
- comment_count:
1
- who:
Allen Wirfs-Brock
- bug_when:
2012-05-04 14:03:17 -0700
corrected in May 4 2012 draft