[m-dev.] for review: compiler options for Java backend

[Julien Fischer]

On Thu, 25 Jan 2001, Fergus Henderson wrote:

> In particular, why do you need to disable line numbers?
> I guess that is done because Java doesn't have `#line',
> but wouldn't it be better to have mlds_to_java.m not spit
> out #line directives, and leave the option unchanged?
> That way, if you use foreign code (e.g. `pragma c_code'),
> and that gets compiled to a separate file, it will have
> the right line numbers.

Oops! I should have taken that out.  The Java backend does ignore them
now, so there's no need for that.  It was only in there because it use
to not ignore them.

Julien
 

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