[mercury-users] Hi, and determinism

Ralph Becket rbeck at microsoft.com
Tue Jan 30 21:16:56 AEDT 2001

>From Peter Schachte on 30/01/2001 02:25:44
> > 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
> > which are not written using `=='.
> Of course, what's det or semidet (or even nondet!) is entirely
> > 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
> make this option the default for Mercury.  

I agree with Peter - can't mode analysis point out mode errors like this,
anyway?  [Just to lend my vote, this isn't a problem that I can remember
having encountered.]

Ralph Becket      |      MSR Cambridge      |      rbeck at microsoft.com 

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