[m-dev.] for review: stream I/O

[Peter Ross]

On Mon, Oct 02, 2000 at 11:43:56PM +1100, Michael Day wrote:
> 
> > Currently there is nothing in io.m the prevents you from opening a file
> > twice for writing to it.  Shall I change all those to cc_multi as well?
> 
> Those writes are already ordered as the io__state is threaded through
> them. Opening two different streams is different, the compiler is free to
> reorder as it pleases.
> 
You are correct.

Thanks.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------