Pyrona: Proper LRC decs and incs

Author: xFrednet

Lib/test/test_veronapy_writebarrier.py

@@ -1,4 +1,5 @@
 import unittest
+import dis
 
 class TestCellWriteBarrier(unittest.TestCase):
     class A:
@@ -75,5 +76,30 @@ def test_cell_replace_same_bridge(self):
         # since this writes replaces the previous owning reference
         c.cell_contents = child
 
+class TestBytecodeWriteBarrier(unittest.TestCase):
+    def test_delete_deref(self):
+        r = Region()
+        r.field = {}
+        x = r.field
+
+        # Make sure the region knows about local reference from x
+        self.assertFalse(r.try_close())
+
+        def del_x():
+            nonlocal x
+            del x # This triggers the DELETE_DEREF opcode
+
+        # Create the function and disassemble to confirm DELETE_DEREF is present
+        bytecode = dis.Bytecode(del_x)
+        self.assertIn("DELETE_DEREF", [instr.opname for instr in bytecode])
+
+        self.assertTrue(r.is_open())
+
+        # Call the function forcing the deletion of x which should
+        # close the region.
+        del_x()
+
+        self.assertFalse(r.is_open())
+
 if __name__ == "__main__":
     unittest.main()