[mercury-users] Hi, and determinism

Peter Ross peter.ross at miscrit.be
Mon Jan 29 21:56:24 AEDT 2001

On Mon, Jan 29, 2001 at 12:25:49PM +1100, Fergus Henderson wrote:
> I think it might be a good idea for us to allow `==' as a synonym for `=',
> and add an option to the compiler which warns about all semidet unifications
> which are not written using `=='.  If that works well in practice, we could
> make that behaviour the default.
I agree whole-heartedly. This is the most common bug for me when
writing semidet code, and it always takes me a while to find it.

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

More information about the users mailing list