[mercury-users] equality functions

Robert Ernst Johann JESCHOFNIK rejj at students.cs.mu.oz.au
Mon Mar 20 22:24:04 AEDT 2000

On Mon, 20 Mar 2000, Ralph Becket wrote:

> succeeded(P) :-
> 	( if call(P) then yes else no ).

I'm not a fan of using `call(P)'. I'd just go for

succeeded(P) :-
	( if P then yes else no ).

well, actually I'd write it like Fergus did, using `->' instead of `if',
but that is just what I am used to, since the emacs mode I used for
Mercury didn't indent `if' expressions correctly, but worked fine if you
used a `->'.
This isn't an issue anymore anyway, since said mode didn't indent
according to the guidelines set for mercury developers - I've been forced
to use vim. ugh.



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