keith_miller@apple.com | bcc77f2 | 2016-07-15 06:03:25 +0000 | [diff] [blame] | 1 | // This file was procedurally generated from the following sources: |
| 2 | // - src/annex-b-fns/global-skip-early-err-for-of.case |
| 3 | // - src/annex-b-fns/global/if-decl-else-decl-b.template |
| 4 | /*--- |
| 5 | description: Extension not observed when creation of variable binding would produce an early error (for-of statement) (IfStatement with a declaration in both statement positions in the global scope) |
| 6 | esid: sec-functiondeclarations-in-ifstatement-statement-clauses |
| 7 | es6id: B.3.4 |
| 8 | flags: [generated, noStrict] |
| 9 | info: | |
| 10 | The following rules for IfStatement augment those in 13.6: |
| 11 | |
| 12 | IfStatement[Yield, Return]: |
| 13 | if ( Expression[In, ?Yield] ) FunctionDeclaration[?Yield] else Statement[?Yield, ?Return] |
| 14 | if ( Expression[In, ?Yield] ) Statement[?Yield, ?Return] else FunctionDeclaration[?Yield] |
| 15 | if ( Expression[In, ?Yield] ) FunctionDeclaration[?Yield] else FunctionDeclaration[?Yield] |
| 16 | if ( Expression[In, ?Yield] ) FunctionDeclaration[?Yield] |
| 17 | |
| 18 | |
| 19 | B.3.3.2 Changes to GlobalDeclarationInstantiation |
| 20 | |
| 21 | [...] |
| 22 | b. If replacing the FunctionDeclaration f with a VariableStatement that has |
| 23 | F as a BindingIdentifier would not produce any Early Errors for script, |
| 24 | then |
| 25 | [...] |
| 26 | ---*/ |
| 27 | assert.throws(ReferenceError, function() { |
| 28 | f; |
| 29 | }, 'An initialized binding is not created prior to evaluation'); |
| 30 | assert.sameValue( |
| 31 | typeof f, |
| 32 | 'undefined', |
| 33 | 'An uninitialized binding is not created prior to evaluation' |
| 34 | ); |
| 35 | |
| 36 | for (let f of [0]) { |
| 37 | |
| 38 | if (false) function _f() {} else function f() { } |
| 39 | |
| 40 | } |
| 41 | |
| 42 | assert.throws(ReferenceError, function() { |
| 43 | f; |
| 44 | }, 'An initialized binding is not created following evaluation'); |
| 45 | assert.sameValue( |
| 46 | typeof f, |
| 47 | 'undefined', |
| 48 | 'An uninitialized binding is not created following evaluation' |
| 49 | ); |