syg review

Author: nicolo-ribaudo

spec.html

@@ -19791,7 +19791,7 @@ <h1>
             1. If AllImportAttributesSupported(_attributes_) is *false*, then
               1. Perform ! Call(_promiseCapability_.[[Reject]], *undefined*, « a newly created *TypeError* object »).
               1. Return _promiseCapability_.[[Promise]].
-            1. Sort _attributes_ according to the lexicographic order of their [[Key]] fields, treating the value of each such field as a sequence of UTF-16 code unit values. NOTE: This sorting is observable only in that hosts are prohibited from changing behaviour based on the order in which attributes are enumerated.
+            1. Sort _attributes_ according to the lexicographic order of their [[Key]] field, treating the value of each such field as a sequence of UTF-16 code unit values. NOTE: This sorting is observable only in that hosts are prohibited from changing behaviour based on the order in which attributes are enumerated.
           1. Let _moduleRequest_ be a new ModuleRequest Record { [[Specifier]]: _specifierString_, [[Attributes]]: _attributes_ }.
           1. Perform HostLoadImportedModule(_referrer_, _moduleRequest_, ~empty~, _promiseCapability_).
           1. Return _promiseCapability_.[[Promise]].
@@ -26507,15 +26507,7 @@ <h1>
             1. Let _rightAttrsCount_ be the number of elements in _rightAttrs_.
             1. If _leftAttrsCount_ ≠ _rightAttrsCount_, return *false*.
             1. For each ImportAttribute Record _l_ of _leftAttrs_, do
-              1. Let _found_ be *false*.
-              1. For each ImportAttribute Record _r_ of _rightAttrs_, do
-                1. If _l_.[[Key]] is _r_.[[Key]], then
-                  1. If _l_.[[Value]] is _r_.[[Value]], then
-                    1. Assert: _found_ is *false*.
-                    1. Set _found_ to *true*.
-                  1. Else,
-                    1. Return *false*.
-              1. If _found_ is *false*, return *false*.
+              1. If _rightAttrs_ does not contain an ImportAttribute Record _r_ such that _l_.[[Key]] is _r_.[[Key]] and _l_.[[Value]] is _r_.[[Value]], return *false*.
             1. Return *true*.
           </emu-alg>
         </emu-clause>
@@ -28994,7 +28986,7 @@ <h1>Static Semantics: WithClauseToAttributes ( ): a List of ImportAttribute Reco
         </emu-grammar>
         <emu-alg>
           1. Let _attributes_ be WithClauseToAttributes of |WithEntries|.
-          1. Sort _attributes_ according to the lexicographic order of their [[Key]] fields, treating the value of each such field as a sequence of UTF-16 code unit values. NOTE: This sorting is observable only in that hosts are prohibited from changing behaviour based on the order in which attributes are enumerated.
+          1. Sort _attributes_ according to the lexicographic order of their [[Key]] field, treating the value of each such field as a sequence of UTF-16 code unit values. NOTE: This sorting is observable only in that hosts are prohibited from changing behaviour based on the order in which attributes are enumerated.
           1. Return _attributes_.
         </emu-alg>