[mercury-users] Hi, and determinism

Peter Schachte schachte at cs.mu.OZ.AU
Tue Jan 30 13:08:10 AEDT 2001

> 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 `=='.

Of course, what's det or semidet (or even nondet!) is entirely mode-dependent.

> If that works well in practice, we could
> make that behaviour the default.

One of Prolog's flaws is all the different versions of `='.  I hope you don't
make this option the default for Mercury.  

Peter Schachte <schachte at cs.mu.OZ.AU>  Reason deceives us often; conscience
http://www.cs.mu.oz.au/~schachte/      never.
Phone:  +61 3 8344 9166                    -- Rousseau 
Fax:    +61 3 9348 1184                
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