blob: cfe7aca42e9e702aa62ab9247ae608af4be38890 [file] [log] [blame]
keith_miller@apple.combcc77f22016-07-15 06:03:25 +00001// This file was procedurally generated from the following sources:
2// - src/dstr-binding/ary-ptrn-elem-id-init-exhausted.case
3// - src/dstr-binding/default/arrow-function.template
4/*---
5description: Destructuring initializer with an exhausted iterator (arrow function expression)
6esid: sec-arrow-function-definitions-runtime-semantics-evaluation
7es6id: 14.2.16
8features: [destructuring-binding]
9flags: [generated]
10info: |
11 ArrowFunction : ArrowParameters => ConciseBody
12
13 [...]
14 4. Let closure be FunctionCreate(Arrow, parameters, ConciseBody, scope, strict).
15 [...]
16
17 9.2.1 [[Call]] ( thisArgument, argumentsList)
18
19 [...]
20 7. Let result be OrdinaryCallEvaluateBody(F, argumentsList).
21 [...]
22
23 9.2.1.3 OrdinaryCallEvaluateBody ( F, argumentsList )
24
25 1. Let status be FunctionDeclarationInstantiation(F, argumentsList).
26 [...]
27
28 9.2.12 FunctionDeclarationInstantiation(func, argumentsList)
29
30 [...]
31 23. Let iteratorRecord be Record {[[iterator]]:
32 CreateListIterator(argumentsList), [[done]]: false}.
33 24. If hasDuplicates is true, then
34 [...]
35 25. Else,
36 b. Let formalStatus be IteratorBindingInitialization for formals with
37 iteratorRecord and env as arguments.
38 [...]
39
40 13.3.3.6 Runtime Semantics: IteratorBindingInitialization
41
42 SingleNameBinding : BindingIdentifier Initializeropt
43
44 [...]
45 5. If iteratorRecord.[[done]] is true, let v be undefined.
46 6. If Initializer is present and v is undefined, then
47 a. Let defaultValue be the result of evaluating Initializer.
48 b. Let v be GetValue(defaultValue).
49 [...]
50 7. If environment is undefined, return PutValue(lhs, v).
51 8. Return InitializeReferencedBinding(lhs, v).
52---*/
53
54var callCount = 0;
55var f;
56f = ([x = 23]) => {
57 assert.sameValue(x, 23);
58 callCount = callCount + 1;
59};
60
61f([]);
62assert.sameValue(callCount, 1, 'arrow function invoked exactly once');