In Control.Concurrent.Class.MonadMVar.Strict.Checked, we check invariants using:
checkInvariant :: HasCallStack => Maybe String -> a -> a
However, none of the functions that use this have HasCallStack constraints themselves. We should add these. We should also add them to Control.Concurrent.Class.MonadMVar.Strict.
In
Control.Concurrent.Class.MonadMVar.Strict.Checked
, we check invariants using:However, none of the functions that use this have
HasCallStack
constraints themselves. We should add these. We should also add them toControl.Concurrent.Class.MonadMVar.Strict
.