Skip to content

Instantly share code, notes, and snippets.

Embed
What would you like to do?
--- before 2020-06-25 13:55:56.943297377 -0700
+++ after 2020-06-25 13:56:35.715449471 -0700
@@ -1,8 +1,8 @@
if value != null:
value.ref_count += 1
let current_elem = table[index]
+table[index] = value
if current_elem != null:
current_elem.ref_count -= 1
if current_elem.ref_count == 0:
- call drop_externref_in_place(current_elem)
-table[index] = value
+ call drop_externref_ptr(current_elem)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.