Hi Henning. I don't know detail of C language... On Thu, Mar 7, 2013 at 9:07 PM, Henning Thielemann <lemming@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