[mercury-users] determinism not satisfied

[Ralph Becket]

> From: Ralph Becket [mailto:rbeck at microsoft.com]
> Sent: 11 July 2001 10:05
> 
> This is a nondeterministic program, but main/2 must be either det or
> cc_nondet or cc_multi.

I beg your pardon - main/2 must be either det or cc_multi (whatever it
does it cannot fail.)

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