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

[Julien Fischer]

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