[jhc] [BUG] Poke should use volatile.
kiwamu at gmail.com
Thu Mar 7 13:15:58 CET 2013
I don't know detail of C language...
On Thu, Mar 7, 2013 at 9:07 PM, Henning Thielemann
<lemming at henning-thielemann.de> wrote:
> Yes - at least this is the expected semantics of the IO monad.
> Unless someone has written a RULE that removes the duplicate peek. However,
> I think this is generally not a good idea, since even regular memory can be
> modified by a concurrent thread.
Thank's a lot.
More information about the jhc