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

[Julien Fischer]

On Tue, 11 Feb 2020, Peter Wang wrote:

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

That's fine.

Julien.