search

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

` IORef`s for io-sim and io-sim-por #145

Open jorisdral opened 8 months ago

jorisdral commented 8 months ago

First stab at #112

dcoutts commented 8 months ago

Arguably, these should be implemented as "proper" simulation primitives for the benefit of the POR case. Otherwise the POR interpreter cannot see that they might be interesting to reorder.