if-decl-no-else-func-update.js (1717B)
1 // This file was procedurally generated from the following sources: 2 // - src/annex-b-fns/func-update.case 3 // - src/annex-b-fns/func/if-decl-no-else.template 4 /*--- 5 description: Variable binding value is updated following evaluation (IfStatement without an else clause in function scope) 6 esid: sec-functiondeclarations-in-ifstatement-statement-clauses 7 flags: [generated, noStrict] 8 info: | 9 The following rules for IfStatement augment those in 13.6: 10 11 IfStatement[Yield, Return]: 12 if ( Expression[In, ?Yield] ) FunctionDeclaration[?Yield] else Statement[?Yield, ?Return] 13 if ( Expression[In, ?Yield] ) Statement[?Yield, ?Return] else FunctionDeclaration[?Yield] 14 if ( Expression[In, ?Yield] ) FunctionDeclaration[?Yield] else FunctionDeclaration[?Yield] 15 if ( Expression[In, ?Yield] ) FunctionDeclaration[?Yield] 16 17 18 B.3.3.1 Changes to FunctionDeclarationInstantiation 19 20 [...] 21 3. When the FunctionDeclaration f is evaluated, perform the following steps 22 in place of the FunctionDeclaration Evaluation algorithm provided in 23 14.1.21: 24 a. Let fenv be the running execution context's VariableEnvironment. 25 b. Let fenvRec be fenv's EnvironmentRecord. 26 c. Let benv be the running execution context's LexicalEnvironment. 27 d. Let benvRec be benv's EnvironmentRecord. 28 e. Let fobj be ! benvRec.GetBindingValue(F, false). 29 f. Perform ! fenvRec.SetMutableBinding(F, fobj, false). 30 g. Return NormalCompletion(empty). 31 ---*/ 32 var after; 33 34 (function() { 35 36 37 if (true) function f() { return 'declaration'; } 38 39 after = f; 40 }()); 41 42 assert.sameValue(typeof after, 'function'); 43 assert.sameValue(after(), 'declaration'); 44 45 reportCompare(0, 0);