Merge pull request #432 from input-output-hk/coot/strict-writeTVar

Make writeTVar more strict
IntersectMBO · Aug 4, 2023 · f54cdd8 · f54cdd8
2 parents c3fb129 + 0d16bb3
commit f54cdd8
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/strict-checked-vars/src/Control/Concurrent/Class/MonadSTM/Strict/TVar/Checked.hs b/strict-checked-vars/src/Control/Concurrent/Class/MonadSTM/Strict/TVar/Checked.hs
@@ -105,7 +105,7 @@ readTVarIO :: MonadSTM m => StrictTVar m a -> m a
 readTVarIO = Strict.readTVarIO . tvar
 
 writeTVar :: (MonadSTM m, HasCallStack) => StrictTVar m a -> a -> STM m ()
-writeTVar v a =
+writeTVar v !a =
     checkInvariant (invariant v a) $
     Strict.writeTVar (tvar v) a
 

diff --git a/strict-checked-vars/strict-checked-vars.cabal b/strict-checked-vars/strict-checked-vars.cabal
@@ -1,6 +1,6 @@
 cabal-version:   3.0
 name:            strict-checked-vars
-version:         0.1.0.2
+version:         0.1.0.3
 synopsis:
   Strict MVars and TVars with invariant checking for IO and IOSim