plaidfinch / StrictCheck

Keep your laziness in check!
https://hackage.haskell.org/package/StrictCheck.
MIT License
32 stars 4 forks source link

Safe entanglement #5

Closed juliapath closed 6 years ago

juliapath commented 6 years ago

Hope this is better. I commented all instances of unsafePerformIO and unsafeInterleaveIO. Since the rest of the code is safe, I hope this is convincing in regards to referential transparency.

juliapath commented 6 years ago

Note that this pull request is to the safe-entanglement branch, not to master.