[mercury-users] equality functions

David Overton dmo at ender.cs.mu.oz.au
Tue Mar 21 12:11:48 AEDT 2000


On Mon, Mar 20, 2000 at 06:14:37PM +1100, Michael Day wrote:
> > Their use should be unambiguous in most cases, although using '='/2 as
> > a function could get confusing for human readers.
> 
> Does X = Y = Z already have a meaning in Mercury?

It is a syntax error since '='/2 is not an associative operator.

You have to use parentheses to say whether you mean `(X = Y) = Z' or
`X = (Y = Z)'.


David
-- 
David Overton      Department of Computer Science & Software Engineering
PhD Student        The University of Melbourne, Victoria 3010, Australia
+61 3 8344 9159    http://www.cs.mu.oz.au/~dmo
--------------------------------------------------------------------------
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