Fixing expected and tests/chez/chez003/IORef.idr to more appropriatel…

…y test atomicModifyIORef functionality.
idris-lang · Sep 7, 2024 · 3ffb87c · 3ffb87c
1 parent fc92369
commit 3ffb87c
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 11 deletions.
diff --git a/tests/chez/chez003/IORef.idr b/tests/chez/chez003/IORef.idr
@@ -14,17 +14,14 @@ main
          printLn val
          val <- readIORef y
          printLn val
-         z <- newIORef 42
+         z   <- newIORef 42
          val <- readIORef z
          printLn val
-         tid1 <- fork $ do
+         t1 <- fork $ do
            atomicModifyIORef z (* 2)
-           val <- readIORef z
-           printLn val
-         threadWait tid1
-         tid2 <- fork $ do
+         t2 <- fork $
            atomicModifyIORef z (* 2)
-           val <- readIORef z
-           printLn val
-         threadWait tid2
-         pure ()
+         threadWait t1
+         threadWait t2
+         val <- readIORef z
+         printLn val
diff --git a/tests/chez/chez003/expected b/tests/chez/chez003/expected
@@ -3,5 +3,4 @@
 188
 188
 42
-84
 168