[mercury-users] &&/if-then-else semantics (was Re: Request for comments on this code

[Julien Fischer]

On Fri, 14 Jul 2006, Peter Moulder wrote:

>  - io.write_string("Calculating something difficult, please wait...\n", !IO)
>    % (or sync disks, or checkpoint our state to disk)
>    && calculate_something_difficult(X)
>    Though each of these three examples involves I/O, which Julien
>    believes to be illegal in the current compiler, because uniqueness
>    analysis occurs before the compiler "knows" that the I/O call is
>    det.

Actually checking uniquess is split between two compiler passes which
happend to fall either side of determinism analysis.

Julien.
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at csse.unimelb.edu.au
administrative address: owner-mercury-users at csse.unimelb.edu.au
unsubscribe: Address: mercury-users-request at csse.unimelb.edu.au Message: unsubscribe
subscribe:   Address: mercury-users-request at csse.unimelb.edu.au Message: subscribe
--------------------------------------------------------------------------