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

Zoltan Somogyi zs at cs.mu.OZ.AU
Mon Nov 13 10:49:53 AEDT 2000


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



More information about the developers mailing list