[m-rev.] for review: fix I/O retry bug

[Zoltan Somogyi]

On 12-Aug-2005, Ian MacLarty <maclarty at cs.mu.OZ.AU> wrote:
> But what's happening is that if T is bound to io.state, then 
> *sometimes* MR_trace_find_input_arg finds it and *sometimes* it 
> doesn't.  Should this be possible?

In modes in which the value of type T has mode di, the answer is yes.

> If so, then under what conditions 
> will the value of the polymorphic io.state argument not be found?

It will be found at events BEFORE that value is destructively updated,
and it won't be found at events AFTER that value is destructively updated.

Zoltan.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------