[m-dev.] for review: added new option `--mark-tailcalls'

Fergus Henderson fjh at cs.mu.OZ.AU
Mon Feb 5 15:10:33 AEDT 2001


That looks fine.

On 05-Feb-2001, Julien Fischer <juliensf at students.cs.mu.oz.au> wrote:
> Here is the relative diff:
> 
> diff -u compiler/handle_options.m compiler/handle_options.m
> --- compiler/handle_options.m
> +++ compiler/handle_options.m
> @@ -337,7 +337,7 @@
>  	% --no-gcc-nested-functions implies --no-gcc-local-labels
>  	option_neg_implies(gcc_nested_functions, gcc_local_labels, bool(no)),
>  
> -	% --no-mlds_optimize implies --no-optimize-tailcalls
> +	% --no-mlds-optimize implies --no-optimize-tailcalls
>  	option_neg_implies(optimize, optimize_tailcalls, bool(no)),
>  
>  	option_implies(verbose_check_termination, check_termination,bool(yes)),
> diff -u compiler/options.m compiler/options.m
> --- compiler/options.m
> +++ compiler/options.m
> @@ -2537,8 +2537,9 @@
>  	write_tabbed_lines([
>  		"--no-mlds-optimize",
>  		"\tDisable the MLDS->MLDS optimization passes.",
> -		"--optimize-tailcalls",
> -		"\tOptimize tailcalls by turning self-tailcalls into loops."
> +		"--no-optimize-tailcalls",
> +		"\tTreat tailcalls as ordinary calls, rather than optimizing",
> +		"\tby turning self-tailcalls into loops."
>  	]).
>  
>  
> diff -u doc/user_guide.texi doc/user_guide.texi
> --- doc/user_guide.texi
> +++ doc/user_guide.texi
> @@ -4098,8 +4098,9 @@
>  Disable the MLDS -> MLDS optimization passes.
>  
>  @sp 1
> - at item --optimize-tailcalls
> -Optimize tailcalls by turning self-tailcalls into loops.
> + at item --no-optimize-tailcalls
> +Treat tailcalls as ordinary calls rather than optimizing
> +by turning self-tailcalls into loops.
>  
>  @end table
>  
> 
> 
> 
> --------------------------------------------------------------------------
> 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
> --------------------------------------------------------------------------

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



More information about the developers mailing list