[mercury-users] Hi, and determinism

[Ralph Becket]

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

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