« Bugzilla Issues Index
#1631 — 12.11.1.2: Invalid access to [[value]] after ReturnIfAbrupt
- bug_id:
1631
- creation_ts:
2013-07-30 12:40:00 -0700
- short_desc:
12.11.1.2: Invalid access to [[value]] after ReturnIfAbrupt
- delta_ts:
2013-08-23 08:22:15 -0700
- product:
Draft for 6th Edition
- component:
technical issue
- version:
Rev 16: July 15, 2013 Draft
- rep_platform:
All
- op_sys:
All
- bug_status:
RESOLVED
- resolution:
FIXED
- priority:
Normal
- bug_severity:
normal
- everconfirmed:
true
- reporter:
André Bargull
- assigned_to:
Allen Wirfs-Brock
- commentid:
4605
- comment_count:
0
- who:
André Bargull
- bug_when:
2013-07-30 12:40:13 -0700
12.11.1.2, Runtime Semantics: Case Block Evaluation for "CaseBlock : {
CaseClauses opt }" steps 4.e.ii.2-3:
> 2. ReturnIfAbrupt(R).
> 3. Let V = R.[[value]].
But after ReturnIfAbrupt() `R` is no longer a CompletionRecord, but the completion record's [[value]].
Steps 4.e.ii.2-3 should be changed as follows:
> 2. ReturnIfAbrupt(R).
> 3. Let V = R.
- commentid:
4972
- comment_count:
1
- who:
Allen Wirfs-Brock
- bug_when:
2013-08-18 14:00:22 -0700
fixed in rev17 editor's draft
- commentid:
5050
- comment_count:
2
- who:
Allen Wirfs-Brock
- bug_when:
2013-08-23 08:22:15 -0700
fixed in rev17, August 23, 2013 draft