[m-dev.] for review: frameopt bug fix

[Zoltan Somogyi]

> > +output_pragma_c_component(pragma_c_fail_to(Label)) -->
> > +	io__write_string("if (!r1) GOTO_LABEL("),
> 
> That will add more work for when we add MR_ prefixes to those, <sigh>.
> But commit it as is.  The MR_ prefixes can wait for another change.

Actually, it just shifts the work from pragma_c_gen to llds_out.
Given that MR_ prefixes will have to be added to everything llds_out
generates, this should actually make things easier.

I followed your other suggestions.

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