Normative: Use explicit comparison to compare two lists in Valid Chos…

…en Reads
tc39 · Feb 14, 2017 · 0916d81 · 0916d81
1 parent 11d2ef0
commit 0916d81
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/spec.html b/spec.html
@@ -37359,7 +37359,10 @@ <h1>Valid Chosen Reads</h1>
       <emu-alg>
         1. For each ReadSharedMemory or ReadModifyWriteSharedMemory event _R_ in SharedDataBlockEventSet(_execution_), do
           1. Let _chosenValue_ be the element of _execution_.[[ChosenValues]] whose [[Event]] field is _R_.
-          1. _chosenValue_ is equal to ValueOfReadEvent(_execution_, _R_).
+          1. Let _readValue_ be ValueOfReadEvent(_execution_, _R_).
+          1. Let _chosenLen_ be the number of elements of _chosenValue_.
+          1. Let _readLen_ be the number of elements of _readValue_.
+          1. _chosenLen_ is equal to _readLen_ and _chosenValue_[_i_] is equal to _readValue_[_i_] for all integer values _i_ in the range 0 through _chosenLen_, exclusive.
       </emu-alg>
     </emu-clause>