Make writeTVar more strict

It needs to evaluate the argument to WHNF before passing it to `checkInvariant`.
IntersectMBO · Aug 4, 2023 · fbac1c5 · fbac1c5
1 parent c3fb129
commit fbac1c5
Showing 1 changed file with 1 addition and 1 deletion.
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