Step 3.c.xi.1.c of 8.4.6.3:
> If value is undefined, then return false .
Step 3.c.xi.1.d of 8.4.6.3:
> If SameValue(value, oldValue) is false, then return false.
Step 3.c.xii of 8.4.6.3:
> Let status be the result of IntegerIndexedElementSet (O, intIndex, value).
But "value" is not defined.
- Typo in 3.c.xi "an" -> "a"
- Typo in 3.c.xi.1 "be" -> "is"
- 3.c.xii also needs to be changed to a new step after 3.c.xi.1
---
xi. If Desc has a [[Value]] field, then
1. Let value be Desc.[[Value]]
2. If writable is false, then
a Let oldValue be the result of IntegerIndexedElementGet(O, intIndex).
b ReturnIfAbrupt(oldValue).
c If value is undefined, then return false.
d If SameValue(value, oldValue) is false, then return false.
3. Else
a Let status be the result of IntegerIndexedElementSet(O, intIndex, value).
b ReturnIfAbrupt(status).
---
fixed in rev17 editor's draft
fixed in rev17, August 23, 2013 draft