You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Control.Concurrent.STM.TSem provides signalTSemN to release multiple units, but no waitTSemN to acquire multiple units. It would try to acquire all units at once (like waitQSemN).
The text was updated successfully, but these errors were encountered:
Control.Concurrent.STM.TSem
providessignalTSemN
to release multiple units, but nowaitTSemN
to acquire multiple units. It would try to acquire all units at once (likewaitQSemN
).The text was updated successfully, but these errors were encountered: