Merge pull request unisonweb#5474 from unisonweb/cp/untracked-ref

Revert Ref.read Ref.write to untracked because they're shared between IO and Scope interfaces.
develop7 · Dec 3, 2024 · 67575ee · 67575ee
2 parents d0b3720 + cb69a72
commit 67575ee
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/unison-runtime/src/Unison/Runtime/Builtin.hs b/unison-runtime/src/Unison/Runtime/Builtin.hs
@@ -1824,8 +1824,8 @@ builtinLookup =
         ("Value.validateSandboxed", (Tracked, value'sandbox)),
         ("sandboxLinks", (Tracked, sandbox'links)),
         ("IO.tryEval", (Tracked, try'eval)),
-        ("Ref.read", (Tracked, ref'read)),
-        ("Ref.write", (Tracked, ref'write)),
+        ("Ref.read", (Untracked, ref'read)),
+        ("Ref.write", (Untracked, ref'write)),
         ("Ref.cas", (Tracked, ref'cas)),
         ("Ref.Ticket.read", (Tracked, ref'ticket'read)),
         ("Ref.readForCas", (Tracked, ref'readForCas)),