Updating CHANGELOG_NEXT.md with new function name, atomically, and up…

…dating tests/chez/chez003/IORef.idr to reflect new function.
idris-lang · Sep 7, 2024 · 0501bcb · 0501bcb
1 parent 94c5302
commit 0501bcb
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/CHANGELOG_NEXT.md b/CHANGELOG_NEXT.md
@@ -217,7 +217,7 @@ This CHANGELOG describes the merged but unreleased changes. Please see [CHANGELO
 
 * Added implementations of `Foldable` and `Traversable` for `Control.Monad.Identity`
 
-* Added `Data.IORef.atomicModifyIORef` for the chez backend.
+* Added `Data.IORef.atomically` for the chez backend.
 
 #### Contrib
 

diff --git a/tests/chez/chez003/IORef.idr b/tests/chez/chez003/IORef.idr
@@ -10,11 +10,11 @@ parameters (ref  : IORef Nat)
 
   runFastInc : Nat -> IO ()
   runFastInc 0     = pure ()
-  runFastInc (S k) = atomicModifyIORef lock ref S >> runFastInc k
+  runFastInc (S k) = atomically lock (modifyIORef ref S) >> runFastInc k
 
   runSlowInc : Nat -> IO ()
   runSlowInc 0     = pure ()
-  runSlowInc (S k) = atomicModifyIORef lock ref (slowinc 10000) >> runSlowInc k
+  runSlowInc (S k) = atomically lock (modifyIORef ref (slowinc 10000)) >> runSlowInc k
 
 main : IO ()
 main