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

[Fergus Henderson]

On 25-Jan-2001, Julien Fischer <juliensf at students.cs.mu.oz.au> wrote:
> ++++ compiler/handle_options.m	2001/01/25 05:02:10
>  @@ -85,13 +85,15 @@
>   			TargetCodeOnly),
>   		globals__io_get_target(Target),
> @@ -58,15 +59,15 @@
>  -
>  +	% Generating Java implies high-level code, turning off nested functions,
>  +	% using copy-out for both det and nondet output arguments,
> -+	% using no tags, boxing enums, disabling no_tag_types and no
> -+	% static ground terms.
> ++	% using no tags and no static ground terms.
> ++	% XXX no static ground terms will be eliminated in a later
> ++	%     version

I think it would be better to say "should be" rather than "will be".
Let's not claim to be able to predict the future ;-)

Apart from that, this change looks fine.
(i.e. go ahead and commit it, presuming it passes a bootcheck)

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------