Explicitly define setByteArray# and setOffAddr# in Prim Ref instance

Fixes #263.
haskell-effectful · Oct 22, 2024 · 86e633b · 86e633b
1 parent 4de03c8
commit 86e633b
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 0 deletions.
diff --git a/effectful-core/CHANGELOG.md b/effectful-core/CHANGELOG.md
@@ -1,6 +1,8 @@
 # effectful-core-2.5.0.0 (????-??-??)
 * Add `plusEff` (specialized version of `<|>`) to `Effectful.NonDet` and make
   `emptyEff` and `sumEff` generate better call stacks.
+* Explicitly define `setByteArray#` and `setOffAddr#` in the `Prim` instance of
+  `Ref` for `primitive` < 0.9.0.0.
 * **Bugfixes**:
   - `OnEmptyRollback` strategy of the `NonDet` effect is no longer broken.
 * **Breaking changes**:

diff --git a/effectful-core/src/Effectful/Internal/Env.hs b/effectful-core/src/Effectful/Internal/Env.hs
@@ -118,6 +118,7 @@ instance Prim Ref where
         s1 = writeByteArray# arr n ref s0
         s2 = writeByteArray# arr (n +# 1#) version s1
     in s2
+  setByteArray# = defaultSetByteArray#
   indexOffAddr# addr i =
     let n = 2# *# i
         ref = indexOffAddr# addr n
@@ -133,6 +134,7 @@ instance Prim Ref where
         s1 = writeOffAddr# addr n ref s0
         s2 = writeOffAddr# addr (n +# 1#) version s1
     in s2
+  setOffAddr# = defaultSetOffAddr#
 
 -- | Version of the effect.
 newtype Version = Version Int

diff --git a/effectful/CHANGELOG.md b/effectful/CHANGELOG.md
@@ -1,6 +1,8 @@
 # effectful-2.5.0.0 (????-??-??)
 * Add `plusEff` (specialized version of `<|>`) to `Effectful.NonDet` and make
   `emptyEff` and `sumEff` generate better call stacks.
+* Explicitly define `setByteArray#` and `setOffAddr#` in the `Prim` instance of
+  `Ref` for `primitive` < 0.9.0.0.
 * **Bugfixes**:
   - `OnEmptyRollback` strategy of the `NonDet` effect is no longer broken.
 * **Breaking changes**: