[mercury-users] Uniqueness modes etc

[Zoltan Somogyi]

On 08-Jan-2004, Dr Mark H Phillips <mark at austrics.com.au> wrote:
> I'm not sure I understand what you're saying here.  I would have 
> thought that the generic code you outlined previously doesn't know
> whether it's doing I/O or state transition in any case.

It does. If it is making a call with a di/uo pair of I/O states, it is
doing I/O. If it is making a call with a di/uo pair of arguments of type
`bits' (in Fergus's example) or of type `fstate' (in Ralph's example),
then it is doing a state transition.

Zoltan Somogyi <zs at cs.mu.OZ.AU> http://www.cs.mu.oz.au/~zs/
Department of Computer Science and Software Engineering, Univ. of Melbourne
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------