input-output-hk / io-sim

Haskell's IO simulator which closely follows core packages (base, async, stm).
https://hackage.haskell.org/package/io-sim
Apache License 2.0
37 stars 15 forks source link

Factor out checked `StrictMVar`s #108

Closed jorisdral closed 1 year ago

jorisdral commented 1 year ago

This PR removes checked StrictMVars from strict-mvar by reverting #74, #105 and parts of #102. Checked strict-mvars will live in the ouroboros-consensus repository instead.

EDIT: change of plans, we're moving it to cardano-base.

jorisdral commented 1 year ago

Please update the changelog file.

I did that I think, what do you think about its contents?

jorisdral commented 1 year ago

LGTM, would you also remove the checks from strict-stm?

Yes, but I'll probably open a separate PR for this