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