[m-rev.] for review: pred_to_bool

[Simon Taylor]

On 22-May-2003, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> On 22-May-2003, Simon Taylor <stayl at cs.mu.OZ.AU> wrote:
> > 
> > NEWS:
> > library/bool.m:
> > 	Add `pred_to_bool(P) = ( if P then yes else no )'.
> 
> That looks fine.
> 
> One very minor thing:
> 
> > +	% pred_to_bool(P) = ( if P then yes else no ).
> ...
> > +pred_to_bool(P) = ( if P then yes else no ).
> 
> As a style issue, I would prefer s/( if/(if/
> and s/ )/)/

Done.

Simon.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------