[m-rev.] for review: Uncomment help text for --warn-suspicious-recursion.

[Peter Wang]

On Tue, 11 Feb 2020 11:45:58 +1100 (AEDT), Julien Fischer <jfischer at opturion.com> wrote:
> 
> On Tue, 11 Feb 2020, Peter Wang wrote:
> 
> > 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.
> 
> You can't change the 20.01 release after its released.  Add this
> to the 20.01.1 NEWS and mention that the feature was present in 20.01
> but not properlyl documented.

How about this:

diff --git a/NEWS b/NEWS
index 6bdc5e67e..7b07427dc 100644
--- a/NEWS
+++ b/NEWS
@@ -29,6 +29,11 @@ NEWS for Mercury 20.01.1

 This is a bug-fix release.

+* We have added a new option `--warn-suspicious-recursion` that asks the
+  compiler to warn about recursive calls which are likely to have problems,
+  such as leading to infinite recursion. (This feature was present in the
+  20.01 release but not announced.)
+
 * [Mantis bug #496]. The compiler now emits a reminder about the limitation
   of common subexpression elimination in the presence of uniqueness when
   this is a possible cause of determinism errors.
@@ -1163,11 +1168,6 @@ 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`