[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