[m-dev.] diff: fix switches in IL

[Zoltan Somogyi]

On 10-Nov-2000, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> However, I think it would probably be simpler to just make that
> 
>  	{ InRange = binop(unsigned_le, Index, const(int_const(Difference)))) },
> 
> I think I'll go with that approach.

That is definitely the right approach.

> It would be nice to ban it from the LLDS too and get rid of it entirely.

In fact, we came to this conclusion several of years ago. All that was missing
was a volunteer to rewrite most of the LLDS backend to make all LLDS constructs
carry (implicit when possible, explicit when necessary) type information.

Zoltan.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------