fixup! Editorial: Re-factor ExportSpecifier

Include mistakenly-omitted extensions to ExportedNames.
tc39 · Aug 20, 2016 · 6e89c3a · 6e89c3a
1 parent 8e9703b
commit 6e89c3a
Showing 1 changed file with 9 additions and 1 deletion.
diff --git a/spec.html b/spec.html
@@ -21300,7 +21300,15 @@ <h1>Static Semantics: ExportedNames</h1>
           1. Append to _names_ the elements of the ExportedNames of |ExportSpecifier|.
           1. Return _names_.
         </emu-alg>
-        <emu-grammar>ExportSpecifier : IdentifierName</emu-grammar>
+        <emu-grammar>ExportSpecifier : IdentifierReference</emu-grammar>
+        <emu-alg>
+          1. Return a List containing the StringValue of |IdentifierReference|.
+        </emu-alg>
+        <emu-grammar>
+          ExportSpecifier : IdentifierReference `as` IdentifierName
+
+          ExportSpecifier : IdentifierName
+        </emu-grammar>
         <emu-alg>
           1. Return a List containing the StringValue of |IdentifierName|.
         </emu-alg>