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

Factour out checked `StrictTVar`s #109

Closed jorisdral closed 1 year ago

jorisdral commented 1 year ago

This PR removes invariant checking for StrictTVars from strict-stm. Checked StrictTVars will live in the ourboros-consensus repository instead.

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