[m-dev.] for review: make tailcall loops an MLDS transformation

[Zoltan Somogyi]

Fergus wrote:
> I think this one is not such a good idea, since Java, which is definitely
> an important target language, supports for/continue but not label/goto.

label/goto can be turned trivially into while/break. The LLDS backend does
it at the very last minute, in llds_out.m, without requiring while/break
to be in the LLDS instruction set. There is no reason while a future Java
backend couldn't do likewise. So I think Tyson should go ahead.

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