[mercury-users] Determinism

[Ralph Becket]

hanberg at ruc.dk, Monday,  9 August 2004:
> Hi
> 
> I wanted to know if someone could tell me why it is needed to specify
> the determinism of a procedure in Mercury.

Mainly for the same reasons you supply type declarations: improved error
messages and documentation.  Also, the compiler can't infer anything
about foreign code, so you certainly have to supply that information.

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