From: Mark Thom <markjordanthom@gmail.com>
Date: Fri, 12 Sep 2025 07:19:52 +0000 (-0700)
Subject: add FIXME for (presently inert & never invoked) race condition
X-Git-Tag: v0.10.0~9
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=dc05526c71169a88f90ba91bbbb72cad450782b0;p=scryer-prolog.git

add FIXME for (presently inert & never invoked) race condition
---

diff --git a/src/offset_table.rs b/src/offset_table.rs
index f24e794c..74967c60 100644
--- a/src/offset_table.rs
+++ b/src/offset_table.rs
@@ -394,6 +394,10 @@ impl F64Table {
                 offset
             }
             F64Table::Concurrent(concurrent_tbl) => {
+                // FIXME: there is a race condition here when called on two Eq value's
+                // which breaks the invariant indirection_tbl is meant to enforce.
+                // Since this branch is never invoked, it does no harm, but that
+                // that will eventually change.
                 {
                     let indirection_tbl = concurrent_tbl.indirection_tbl.lock();