fixes tc39#40: throw when map is mutated in getOrInsertComputed callb…

…acks
michaelficarra · Nov 18, 2024 · 9f4e7f2 · 9f4e7f2
1 parent 8668664
commit 9f4e7f2
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/spec.emu b/spec.emu
@@ -43,6 +43,8 @@ contributors: Jonas Haukenes, Daniel Minor
     1. For each Record { [[Key]], [[Value]] } _p_ of _M_.[[MapData]], do
       1. If _p_.[[Key]] is not ~empty~ and SameValue(_p_.[[Key]], _key_) is *true*, return _p_.[[Value]].
     1. Let _value_ be ? Call(_callbackfn_, *undefined*, « _key_ »).
+    1. For each Record { [[Key]], [[Value]] } _p_ of _M_.[[MapData]], do
+      1. If _p_.[[Key]] is not ~empty~ and SameValue(_p_.[[Key]], _key_) is *true*, throw a *TypeError* exception.
     1. Let _p_ be the Record { [[Key]]: _key_, [[Value]]: _value_ }.
     1. Append _p_ to _M_.[[MapData]].
     1. Return _value_.
@@ -75,6 +77,8 @@ contributors: Jonas Haukenes, Daniel Minor
     1. For each Record { [[Key]], [[Value]] } _p_ of _M_.[[WeakMapData]], do
       1. If _p_.[[Key]] is not ~empty~ and SameValue(_p_.[[Key]], _key_) is *true*, return _p_.[[Value]].
     1. Let _value_ be ? Call(_callbackfn_, *undefined*, « _key_ »).
+    1. For each Record { [[Key]], [[Value]] } _p_ of _M_.[[WeakMapData]], do
+      1. If _p_.[[Key]] is not ~empty~ and SameValue(_p_.[[Key]], _key_) is *true*, throw a *TypeError* exception.
     1. Let _p_ be the Record { [[Key]]: _key_, [[Value]]: _value_ }.
     1. Append _p_ to _M_.[[WeakMapData]].
     1. Return _value_.