Update tests for top-level await

src/top-level-await/await-expr-array-literal.case

@@ -2,23 +2,9 @@
 // This code is governed by the BSD license found in the LICENSE file.
 
 /*---
-description: >
+desc: >
-  Valid syntax for top level await.
   AwaitExpression ArrayLiteral
 info: |
-  ModuleItem:
-    StatementListItem[~Yield, +Await, ~Return]
-
-  ...
-
-  UnaryExpression[Yield, Await]
-    [+Await]AwaitExpression[?Yield]
-
-  AwaitExpression[Yield]:
-    await UnaryExpression[?Yield, +Await]
-
-  ...
-
   PrimaryExpression[Yield, Await]:
     this
     IdentifierReference[?Yield, ?Await]
@@ -33,9 +19,8 @@ info: |
     RegularExpressionLiteral
     TemplateLiteral[?Yield, ?Await, ~Tagged]
     CoverParenthesizedExpressionAndArrowParameterList[?Yield, ?Await]
-esid: prod-AwaitExpression
+template: syntax
-flags: [module]
-features: [top-level-await]
 ---*/
 
-await [];
+//- expr
+await []

src/top-level-await/await-expr-func-expression.case

@@ -2,25 +2,13 @@
 // This code is governed by the BSD license found in the LICENSE file.
 
 /*---
-description: >
+desc: >
-  Valid syntax for top level await.
   AwaitExpression StringLiteral
 info: |
-  ModuleItem:
-    StatementListItem[~Yield, +Await, ~Return]
-
-  ...
-
   ExpressionStatement[Yield, Await]:
     [lookahead ∉ { {, function, async [no LineTerminator here] function, class, let [ }]
       Expression[+In, ?Yield, ?Await];
 
-  UnaryExpression[Yield, Await]
-    [+Await]AwaitExpression[?Yield]
-
-  AwaitExpression[Yield]:
-    await UnaryExpression[?Yield, +Await]
-
   ...
 
   PrimaryExpression[Yield, Await]:
@@ -37,9 +25,8 @@ info: |
     RegularExpressionLiteral
     TemplateLiteral[?Yield, ?Await, ~Tagged]
     CoverParenthesizedExpressionAndArrowParameterList[?Yield, ?Await]
-esid: prod-AwaitExpression
+template: syntax
-flags: [module]
-features: [top-level-await]
 ---*/
 
-await function() {};
+//- expr
+await function() {}

src/top-level-await/await-expr-identifier.case

@@ -2,23 +2,9 @@
 // This code is governed by the BSD license found in the LICENSE file.
 
 /*---
-description: >
+desc: >
-  Valid syntax for top level await.
   AwaitExpression IdentifierReference
 info: |
-  ModuleItem:
-    StatementListItem[~Yield, +Await, ~Return]
-
-  ...
-
-  UnaryExpression[Yield, Await]
-    [+Await]AwaitExpression[?Yield]
-
-  AwaitExpression[Yield]:
-    await UnaryExpression[?Yield, +Await]
-
-  ...
-
   PrimaryExpression[Yield, Await]:
     this
     IdentifierReference[?Yield, ?Await]
@@ -33,11 +19,10 @@ info: |
     RegularExpressionLiteral
     TemplateLiteral[?Yield, ?Await, ~Tagged]
     CoverParenthesizedExpressionAndArrowParameterList[?Yield, ?Await]
-esid: prod-AwaitExpression
+template: syntax
-flags: [module]
-features: [top-level-await]
 ---*/
 
+//- setup
 var foo = 1;
-
+//- expr
-await foo;
+await foo

src/top-level-await/await-expr-literal-number.case

@@ -2,23 +2,9 @@
 // This code is governed by the BSD license found in the LICENSE file.
 
 /*---
-description: >
+desc: >
-  Valid syntax for top level await.
   AwaitExpression NumberLiteral
 info: |
-  ModuleItem:
-    StatementListItem[~Yield, +Await, ~Return]
-
-  ...
-
-  UnaryExpression[Yield, Await]
-    [+Await]AwaitExpression[?Yield]
-
-  AwaitExpression[Yield]:
-    await UnaryExpression[?Yield, +Await]
-
-  ...
-
   PrimaryExpression[Yield, Await]:
     this
     IdentifierReference[?Yield, ?Await]
@@ -33,9 +19,8 @@ info: |
     RegularExpressionLiteral
     TemplateLiteral[?Yield, ?Await, ~Tagged]
     CoverParenthesizedExpressionAndArrowParameterList[?Yield, ?Await]
-esid: prod-AwaitExpression
+template: syntax
-flags: [module]
-features: [top-level-await]
 ---*/
 
-await 1;
+//- expr
+await 1

src/top-level-await/await-expr-literal-string.case

@@ -2,23 +2,9 @@
 // This code is governed by the BSD license found in the LICENSE file.
 
 /*---
-description: >
+desc: >
-  Valid syntax for top level await.
   AwaitExpression StringLiteral
 info: |
-  ModuleItem:
-    StatementListItem[~Yield, +Await, ~Return]
-
-  ...
-
-  UnaryExpression[Yield, Await]
-    [+Await]AwaitExpression[?Yield]
-
-  AwaitExpression[Yield]:
-    await UnaryExpression[?Yield, +Await]
-
-  ...
-
   PrimaryExpression[Yield, Await]:
     this
     IdentifierReference[?Yield, ?Await]
@@ -33,9 +19,8 @@ info: |
     RegularExpressionLiteral
     TemplateLiteral[?Yield, ?Await, ~Tagged]
     CoverParenthesizedExpressionAndArrowParameterList[?Yield, ?Await]
-esid: prod-AwaitExpression
+template: syntax
-flags: [module]
-features: [top-level-await]
 ---*/
 
-await '';
+//- expr
+await ''

src/top-level-await/await-expr-nested.case

@@ -2,15 +2,9 @@
 // This code is governed by the BSD license found in the LICENSE file.
 
 /*---
-description: >
+desc: >
-  Valid syntax for top level await.
   Nested AwaitExpressions
 info: |
-  ModuleItem:
-    StatementListItem[~Yield, +Await, ~Return]
-
-  ...
-
   TryStatement[Yield, Await, Return]:
     try Block[?Yield, ?Await, ?Return] Catch[?Yield, ?Await, ?Return]
     try Block[?Yield, ?Await, ?Return] Finally[?Yield, ?Await, ?Return]
@@ -21,15 +15,8 @@ info: |
   ExpressionStatement[Yield, Await]:
     [lookahead ∉ { {, function, async [no LineTerminator here] function, class, let [ }]
       Expression[+In, ?Yield, ?Await];
-
+template: syntax
-  UnaryExpression[Yield, Await]
-    [+Await]AwaitExpression[?Yield]
-
-  AwaitExpression[Yield]:
-    await UnaryExpression[?Yield, +Await]
-esid: prod-AwaitExpression
-flags: [module]
-features: [top-level-await]
 ---*/
 
-await await await await await await await await await await await await await await await 'await';
+//- expr
+await await await await await await await await await await await await await await await 'await'

src/top-level-await/await-expr-new-expr.case

@@ -2,23 +2,9 @@
 // This code is governed by the BSD license found in the LICENSE file.
 
 /*---
-description: >
+desc: >
-  Valid syntax for top level await.
+  AwaitExpression new MemberExpression
-  AwaitExpression ArrayLiteral
 info: |
-  ModuleItem:
-    StatementListItem[~Yield, +Await, ~Return]
-
-  ...
-
-  UnaryExpression[Yield, Await]
-    [+Await]AwaitExpression[?Yield]
-
-  AwaitExpression[Yield]:
-    await UnaryExpression[?Yield, +Await]
-
-  ...
-
   LeftHandSideExpression[Yield, Await]:
     NewExpression[?Yield, ?Await]
     CallExpression[?Yield, ?Await]
@@ -30,9 +16,8 @@ info: |
   MemberExpression[Yield, Await]:
     ...
     new MemberExpression[?Yield, ?Await] Arguments[?Yield, ?Await]
-esid: prod-AwaitExpression
+template: syntax
-flags: [module]
-features: [top-level-await]
 ---*/
 
-await new Promise(function(res, rej) { res(1); });
+//- expr
+await new Promise(function(res, rej) { res(1); })

src/top-level-await/await-expr-null.case

@@ -2,23 +2,9 @@
 // This code is governed by the BSD license found in the LICENSE file.
 
 /*---
-description: >
+desc: >
-  Valid syntax for top level await.
   AwaitExpression NullLiteral
 info: |
-  ModuleItem:
-    StatementListItem[~Yield, +Await, ~Return]
-
-  ...
-
-  UnaryExpression[Yield, Await]
-    [+Await]AwaitExpression[?Yield]
-
-  AwaitExpression[Yield]:
-    await UnaryExpression[?Yield, +Await]
-
-  ...
-
   PrimaryExpression[Yield, Await]:
     this
     IdentifierReference[?Yield, ?Await]
@@ -33,9 +19,8 @@ info: |
     RegularExpressionLiteral
     TemplateLiteral[?Yield, ?Await, ~Tagged]
     CoverParenthesizedExpressionAndArrowParameterList[?Yield, ?Await]
-esid: prod-AwaitExpression
+template: syntax
-flags: [module]
-features: [top-level-await]
 ---*/
 
-await null;
+//- expr
+await null

src/top-level-await/await-expr-obj-literal.case

@@ -2,23 +2,9 @@
 // This code is governed by the BSD license found in the LICENSE file.
 
 /*---
-description: >
+desc: >
-  Valid syntax for top level await.
   AwaitExpression ObjectLiteral
 info: |
-  ModuleItem:
-    StatementListItem[~Yield, +Await, ~Return]
-
-  ...
-
-  UnaryExpression[Yield, Await]
-    [+Await]AwaitExpression[?Yield]
-
-  AwaitExpression[Yield]:
-    await UnaryExpression[?Yield, +Await]
-
-  ...
-
   PrimaryExpression[Yield, Await]:
     this
     IdentifierReference[?Yield, ?Await]
@@ -33,12 +19,10 @@ info: |
     RegularExpressionLiteral
     TemplateLiteral[?Yield, ?Await, ~Tagged]
     CoverParenthesizedExpressionAndArrowParameterList[?Yield, ?Await]
-esid: prod-AwaitExpression
+template: syntax
-flags: [module]
-features: [top-level-await]
 ---*/
 
 // This syntax helps avoiding the code being parsed as a Block
-await { function() {} };
-
 // Yes, it's a MethodDefinition...
+//- expr
+await { function() {} }

src/top-level-await/await-expr-regexp.case

@@ -2,23 +2,9 @@
 // This code is governed by the BSD license found in the LICENSE file.
 
 /*---
-description: >
+desc: >
-  Valid syntax for top level await.
   AwaitExpression RegularExpressionLiteral
 info: |
-  ModuleItem:
-    StatementListItem[~Yield, +Await, ~Return]
-
-  ...
-
-  UnaryExpression[Yield, Await]
-    [+Await]AwaitExpression[?Yield]
-
-  AwaitExpression[Yield]:
-    await UnaryExpression[?Yield, +Await]
-
-  ...
-
   PrimaryExpression[Yield, Await]:
     this
     IdentifierReference[?Yield, ?Await]
@@ -33,9 +19,8 @@ info: |
     RegularExpressionLiteral
     TemplateLiteral[?Yield, ?Await, ~Tagged]
     CoverParenthesizedExpressionAndArrowParameterList[?Yield, ?Await]
-esid: prod-AwaitExpression
+template: syntax
-flags: [module]
-features: [top-level-await]
 ---*/
 
-await /1/;
+//- expr
+await /1/

src/top-level-await/await-expr-template-literal.case

@@ -2,23 +2,9 @@
 // This code is governed by the BSD license found in the LICENSE file.
 
 /*---
-description: >
+desc: >
-  Valid syntax for top level await.
   AwaitExpression TemplateLiteral
 info: |
-  ModuleItem:
-    StatementListItem[~Yield, +Await, ~Return]
-
-  ...
-
-  UnaryExpression[Yield, Await]
-    [+Await]AwaitExpression[?Yield]
-
-  AwaitExpression[Yield]:
-    await UnaryExpression[?Yield, +Await]
-
-  ...
-
   PrimaryExpression[Yield, Await]:
     this
     IdentifierReference[?Yield, ?Await]
@@ -33,10 +19,9 @@ info: |
     RegularExpressionLiteral
     TemplateLiteral[?Yield, ?Await, ~Tagged]
     CoverParenthesizedExpressionAndArrowParameterList[?Yield, ?Await]
-esid: prod-AwaitExpression
+template: syntax
-flags: [module]
-features: [top-level-await]
 ---*/
 
-await ``;
+//- expr
+await ``
 

src/top-level-await/await-expr-this.case

@@ -2,23 +2,9 @@
 // This code is governed by the BSD license found in the LICENSE file.
 
 /*---
-description: >
+desc: >
-  Valid syntax for top level await.
   AwaitExpression this
 info: |
-  ModuleItem:
-    StatementListItem[~Yield, +Await, ~Return]
-
-  ...
-
-  UnaryExpression[Yield, Await]
-    [+Await]AwaitExpression[?Yield]
-
-  AwaitExpression[Yield]:
-    await UnaryExpression[?Yield, +Await]
-
-  ...
-
   PrimaryExpression[Yield, Await]:
     this
     IdentifierReference[?Yield, ?Await]
@@ -33,9 +19,8 @@ info: |
     RegularExpressionLiteral
     TemplateLiteral[?Yield, ?Await, ~Tagged]
     CoverParenthesizedExpressionAndArrowParameterList[?Yield, ?Await]
-esid: prod-AwaitExpression
+template: syntax
-flags: [module]
-features: [top-level-await]
 ---*/
 
-await this;
+//- expr
+await this

src/top-level-await/syntax/block.template

@@ -2,37 +2,22 @@
 // This code is governed by the BSD license found in the LICENSE file.
 
 /*---
-description: >
+path: language/module-code/top-level-await/syntax/block-
-  Valid syntax for top level await. It propagates to the StatementList of a Block
+name: Valid syntax for top level await in a block.
+esid: prod-AwaitExpression
 info: |
   ModuleItem:
     StatementListItem[~Yield, +Await, ~Return]
 
-  StatementListItem[Yield, Await, Return]:
-    Statement[?Yield, ?Await, ?Return]
-    Declaration[?Yield, ?Await]
-
-  Statement[Yield, Await, Return]:
-    BlockStatement[?Yield, ?Await, ?Return]
-
-  BlockStatement[Yield, Await, Return]:
-    Block[?Yield, ?Await, ?Return]
-
-  Block[Yield, Await, Return]:
-    { StatementList[?Yield, ?Await, ?Return]_opt }
-
   ...
 
-  ExpressionStatement[Yield, Await]:
-    [lookahead ∉ { {, function, async [no LineTerminator here] function, class, let [ }]
-      Expression[+In, ?Yield, ?Await];
-
   UnaryExpression[Yield, Await]
     [+Await]AwaitExpression[?Yield]
 
   AwaitExpression[Yield]:
     await UnaryExpression[?Yield, +Await]
-esid: prod-AwaitExpression
+
+  ...
 flags: [module]
 features: [top-level-await]
 ---*/
@@ -54,7 +39,7 @@ features: [top-level-await]
                             {
                               {
                                 {
-                                  await {};
+                                  /*{ expr }*/;
                                 }
                               }
                             }

src/top-level-await/syntax/for-await-expr.template

@@ -0,0 +1,50 @@
+// Copyright (C) 2019 Leo Balter. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+path: language/module-code/top-level-await/syntax/for-await-
+name: Valid syntax for top level await in for await statements.
+esid: prod-AwaitExpression
+info: |
+  ModuleItem:
+    StatementListItem[~Yield, +Await, ~Return]
+
+  ...
+
+  IterationStatement[Yield, Await, Return]:
+    [+Await]for await ( [lookahead ≠ let] LeftHandSideExpression[?Yield, ?Await] of AssignmentExpression[+In, ?Yield, ?Await] ) Statement[?Yield, ?Await, ?Return]
+    [+Await]for await ( var ForBinding[?Yield, ?Await] of AssignmentExpression[+In, ?Yield, ?Await] ) Statement[?Yield, ?Await, ?Return]
+    [+Await]for await ( ForDeclaration[?Yield, ?Await] of AssignmentExpression[+In, ?Yield, ?Await] ) Statement[?Yield, ?Await, ?Return]
+
+  ...
+
+  UnaryExpression[Yield, Await]
+    [+Await]AwaitExpression[?Yield]
+
+  AwaitExpression[Yield]:
+    await UnaryExpression[?Yield, +Await]
+
+  ...
+flags: [module]
+features: [top-level-await, async-iteration]
+---*/
+
+var binding;
+
+// [+Await]for await ( [lookahead ≠ let] LeftHandSideExpression[?Yield, ?Await] of AssignmentExpression[+In, ?Yield, ?Await] ) Statement[?Yield, ?Await, ?Return]
+for await (binding of [/*{ expr }*/]) {
+  /*{ expr }*/;
+  break;
+}
+
+// [+Await]for await ( var ForBinding[?Yield, ?Await] of AssignmentExpression[+In, ?Yield, ?Await] ) Statement[?Yield, ?Await, ?Return]
+for await (var binding of [/*{ expr }*/]) {
+  /*{ expr }*/;
+  break;
+}
+
+// [+Await]for await ( ForDeclaration[?Yield, ?Await] of AssignmentExpression[+In, ?Yield, ?Await] ) Statement[?Yield, ?Await, ?Return]
+for await (let binding of [/*{ expr }*/]) {
+  /*{ expr }*/;
+  break;
+}

src/top-level-await/syntax/if-block.template

@@ -2,9 +2,9 @@
 // This code is governed by the BSD license found in the LICENSE file.
 
 /*---
-description: >
+path: language/module-code/top-level-await/syntax/if-block-
-  Valid syntax for top level await.
+name: Valid syntax for top level await in an if expression position.
-  IfStatement ( AwaitExpression BooleanLiteral )
+esid: prod-AwaitExpression
 info: |
   ModuleItem:
     StatementListItem[~Yield, +Await, ~Return]
@@ -17,18 +17,17 @@ info: |
 
   ...
 
-  ExpressionStatement[Yield, Await]:
-    [lookahead ∉ { {, function, async [no LineTerminator here] function, class, let [ }]
-      Expression[+In, ?Yield, ?Await];
-
   UnaryExpression[Yield, Await]
     [+Await]AwaitExpression[?Yield]
 
   AwaitExpression[Yield]:
     await UnaryExpression[?Yield, +Await]
-esid: prod-AwaitExpression
+
+  ...
 flags: [module]
 features: [top-level-await]
 ---*/
 
-if (await false) {};
+if (true) {
+  /*{ expr }*/;
+}

src/top-level-await/syntax/if-expr.template

@@ -0,0 +1,31 @@
+// Copyright (C) 2019 Leo Balter. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+path: language/module-code/top-level-await/syntax/if-expr-
+name: Valid syntax for top level await in an if expression position.
+esid: prod-AwaitExpression
+info: |
+  ModuleItem:
+    StatementListItem[~Yield, +Await, ~Return]
+
+  ...
+
+  IfStatement[Yield, Await, Return]:
+    if(Expression[+In, ?Yield, ?Await])Statement[?Yield, ?Await, ?Return]elseStatement[?Yield, ?Await, ?Return]
+    if(Expression[+In, ?Yield, ?Await])Statement[?Yield, ?Await, ?Return]
+
+  ...
+
+  UnaryExpression[Yield, Await]
+    [+Await]AwaitExpression[?Yield]
+
+  AwaitExpression[Yield]:
+    await UnaryExpression[?Yield, +Await]
+
+  ...
+flags: [module]
+features: [top-level-await]
+---*/
+
+if (/*{ expr }*/) {}

src/top-level-await/syntax/top-level.template

@@ -0,0 +1,25 @@
+// Copyright (C) 2019 Leo Balter. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+path: language/module-code/top-level-await/syntax/top-level-
+name: Valid syntax for top level await.
+esid: prod-AwaitExpression
+info: |
+  ModuleItem:
+    StatementListItem[~Yield, +Await, ~Return]
+
+  ...
+
+  UnaryExpression[Yield, Await]
+    [+Await]AwaitExpression[?Yield]
+
+  AwaitExpression[Yield]:
+    await UnaryExpression[?Yield, +Await]
+
+  ...
+flags: [module]
+features: [top-level-await]
+---*/
+
+/*{ expr }*/;

src/top-level-await/syntax/try.template

@@ -2,9 +2,9 @@
 // This code is governed by the BSD license found in the LICENSE file.
 
 /*---
-description: >
+path: language/module-code/top-level-await/syntax/try-
-  Valid syntax for top level await. It propagates to nested blocks
+name: Valid syntax for top level await in try-catch-finally blocks.
-  TryStatement with AwaitExpression
+esid: prod-AwaitExpression
 info: |
   ModuleItem:
     StatementListItem[~Yield, +Await, ~Return]
@@ -18,36 +18,33 @@ info: |
 
   ...
 
-  ExpressionStatement[Yield, Await]:
-    [lookahead ∉ { {, function, async [no LineTerminator here] function, class, let [ }]
-      Expression[+In, ?Yield, ?Await];
-
   UnaryExpression[Yield, Await]
     [+Await]AwaitExpression[?Yield]
 
   AwaitExpression[Yield]:
     await UnaryExpression[?Yield, +Await]
-esid: prod-AwaitExpression
+
+  ...
 flags: [module]
 features: [top-level-await]
 ---*/
 
 try {
-  await 0;
+  /*{ expr }*/;
 } catch(e) {
-  await 1;
+  /*{ expr }*/;
 }
 
 try {
-  await 0;
+  /*{ expr }*/;
 } finally {
-  await 1;
+  /*{ expr }*/;
 }
 
 try {
-  await 0;
+  /*{ expr }*/;
 } catch(e) {
-  await 1;
+  /*{ expr }*/;
 } finally {
-  await 2;
+  /*{ expr }*/;
 }

src/top-level-await/syntax/typeof.template

@@ -0,0 +1,26 @@
+// Copyright (C) 2019 Leo Balter. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+path: language/module-code/top-level-await/syntax/typeof-
+name: Valid syntax for top level await in an UnaryExpression (void).
+esid: prod-AwaitExpression
+info: |
+  ModuleItem:
+    StatementListItem[~Yield, +Await, ~Return]
+
+  ...
+
+  UnaryExpression[Yield, Await]
+    typeof UnaryExpression[?Yield, ?Await]
+    [+Await]AwaitExpression[?Yield]
+
+  AwaitExpression[Yield]:
+    await UnaryExpression[?Yield, +Await]
+
+  ...
+flags: [module]
+features: [top-level-await]
+---*/
+
+typeof /*{ expr }*/;

src/top-level-await/syntax/void.template

@@ -0,0 +1,26 @@
+// Copyright (C) 2019 Leo Balter. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+path: language/module-code/top-level-await/syntax/void-
+name: Valid syntax for top level await in an UnaryExpression (void).
+esid: prod-AwaitExpression
+info: |
+  ModuleItem:
+    StatementListItem[~Yield, +Await, ~Return]
+
+  ...
+
+  UnaryExpression[Yield, Await]
+    void UnaryExpression[?Yield, ?Await]
+    [+Await]AwaitExpression[?Yield]
+
+  AwaitExpression[Yield]:
+    await UnaryExpression[?Yield, +Await]
+
+  ...
+flags: [module]
+features: [top-level-await]
+---*/
+
+void /*{ expr }*/;

src/top-level-await/syntax/while-expr.template

@@ -0,0 +1,30 @@
+// Copyright (C) 2019 Leo Balter. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+path: language/module-code/top-level-await/syntax/while-
+name: Valid syntax for top level await in an while expression position.
+esid: prod-AwaitExpression
+info: |
+  ModuleItem:
+    StatementListItem[~Yield, +Await, ~Return]
+
+  ...
+
+  IterationStatement[Yield, Await, Return]:
+    while ( Expression[+In, ?Yield, ?Await] ) Statement[?Yield, ?Await, ?Return]
+
+  ...
+
+  UnaryExpression[Yield, Await]
+    [+Await]AwaitExpression[?Yield]
+
+  AwaitExpression[Yield]:
+    await UnaryExpression[?Yield, +Await]
+
+  ...
+flags: [module]
+features: [top-level-await]
+---*/
+
+while (/*{ expr }*/) { break; }

test/language/module-code/top-level-await/syntax/catch-parameter.js

@@ -0,0 +1,47 @@
+// Copyright (C) 2019 Leo Balter. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+description: >
+  Valid syntax for top level await.
+  AwaitExpression ImportCall
+info: |
+  ModuleItem:
+    StatementListItem[~Yield, +Await, ~Return]
+
+  ...
+
+  UnaryExpression[Yield, Await]
+    [+Await]AwaitExpression[?Yield]
+
+  AwaitExpression[Yield]:
+    await UnaryExpression[?Yield, +Await]
+
+  ...
+
+  TryStatement[Yield, Await, Return]:
+    try Block[?Yield, ?Await, ?Return] Catch[?Yield, ?Await, ?Return]
+    try Block[?Yield, ?Await, ?Return] Finally[?Yield, ?Await, ?Return]
+    try Block[?Yield, ?Await, ?Return] Catch[?Yield, ?Await, ?Return] Finally[?Yield, ?Await, ?Return]
+
+  Catch[Yield, Await, Return]:
+    catch(CatchParameter[?Yield, ?Await])Block[?Yield, ?Await, ?Return]
+    catchBlock[?Yield, ?Await, ?Return]
+
+  Finally[Yield, Await, Return]:
+    finallyBlock[?Yield, ?Await, ?Return]
+
+  CatchParameter[Yield, Await]:
+    BindingIdentifier[?Yield, ?Await]
+    BindingPattern[?Yield, ?Await]
+esid: prod-AwaitExpression
+flags: [module]
+features: [top-level-await, dynamic-import]
+---*/
+
+try {} catch (await e) {}
+try {} catch (await {}) {}
+try {} catch (await { x: await 42 }) {} // BindingElement
+try {} catch (await { x = await 42 }) {} // Initializer
+try {} catch (await []) {}
+try {} catch (await [ x = await 42 ]) {}