[m-rev.] for review: Uncomment help text for --warn-suspicious-recursion.
novalazy at gmail.com
Tue Feb 11 12:10:46 AEDT 2020
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
@@ -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
- 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
More information about the reviews