[jhc] [BUG] Poke should use volatile.

[Kiwamu Okabe]

Hi Henning.
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.

So clear.
Thank's a lot.
--
Kiwamu Okabe