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

[Michael Day]

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

Michael


--------------------------------------------------------------------------
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
--------------------------------------------------------------------------