[m-rev.] for review: new termination analyser (part 4 of 6)

Zoltan Somogyi zs at cs.mu.OZ.AU
Mon Apr 4 15:48:09 AEST 2005


On 04-Apr-2005, Mark Brown <mark at cs.mu.OZ.AU> wrote:
> The advantage, IMHO, is that every branch has an explicit condition.  This
> can be useful because it saves you from having to look through all of the
> preceding conditions and figuring out what remaining case covers.

I strongly agree with this. As I am working on a module, I convert
if-then-elses to switches where possible, for this exact reason.

When the code was originally written, we had to have it work with Prolog,
which required using if-then-elses to avoid leaving choice points. That
hasn't been a consideration for a long time now.

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



More information about the reviews mailing list