[m-rev.] for review: Uncomment help text for --warn-suspicious-recursion.
Peter Wang
novalazy at gmail.com
Tue Feb 11 11:28:59 AEDT 2020
compiler/options.m:
Uncomment help text for --warn-suspicious-recursion.
(It was already documented in the user guide.)
NEWS:
Add --warn-suspicious-recursion as new to the 20.01 release.
diff --git a/NEWS b/NEWS
index 488d2c371..3a4fd1f82 100644
--- a/NEWS
+++ b/NEWS
@@ -1152,6 +1152,11 @@ Changes to the Mercury compiler
This option asks the compiler to warn about possible errors in the bodies of
`foreign_code` pragmas.
+* `--warn-suspicious-recursion`
+
+ This option asks the compiler to warn about recursive calls which are
+ likely to have problems, such as leading to infinite recursion.
+
### New verbosity options
* `--limit-error-contexts`
diff --git a/compiler/options.m b/compiler/options.m
index de50c4a84..d2cb6cda8 100644
--- a/compiler/options.m
+++ b/compiler/options.m
@@ -3957,9 +3957,9 @@ options_help_warning -->
"--no-warn-undefined-options-variables",
"\tDo not warn about references to undefined variables in",
"\toptions files with `--make'.",
-% "--warn-suspicious-recursion",
-% "\tWarn about recursive calls which are likely to have problems,",
-% "\tsuch as leading to infinite recursion.",
+ "--warn-suspicious-recursion",
+ "\tWarn about recursive calls which are likely to have problems,",
+ "\tsuch as leading to infinite recursion.",
% These are the internal options that implement --warn-non-tail-recursion.
% "--warn-non-tail-recursion-self",
% "\tWarn about any self recursive calls that are not tail recursive.",
--
2.25.0
More information about the reviews
mailing list