Perfect, thank you very much Simon! I know you're busy so you taking the
time to answer questions like this is a much appreciated gift.
On Thu, Feb 4, 2016 at 6:11 AM, Simon Peyton Jones
wrote:
> that the mechanism for preventing things like reordering operations or
> spurious sharing is shared
that the mechanism for preventing things like reordering operations or spurious
sharing is shared in common between ST and IO via State#
Yes. It’s pure data dependency, no more and no less. Operations in both ST and
IO take a State# token as input, and produce one as output. So of course to
ge
