[m-rev.] for review: may_ignore_without_warning

[Zoltan Somogyi]

2020-08-18 15:54 GMT+10:00 "Peter Wang" <novalazy at gmail.com>:
> On Tue, 18 Aug 2020 14:35:43 +1000 "Zoltan Somogyi" <zoltan.somogyi at runbox.com> wrote:
>> Does anyone have a better proposal for the name of the new attribute?
> 
> Maybe disable_warning_if_ignored?

Good idea. I followed all your suggestions, which resulted
in the first attached diff, which is for post-commit review.
There is a test case, but it is in the next diff (also attached),
which I will commit after an rotd is built with the first one.

Zoltan.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Log.dwii
Type: application/octet-stream
Size: 1290 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20200819/9bdc8db8/attachment-0004.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: DIFF.dwii
Type: application/octet-stream
Size: 25639 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20200819/9bdc8db8/attachment-0005.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Log.dwii2
Type: application/octet-stream
Size: 231 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20200819/9bdc8db8/attachment-0006.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: DIFF.dwii2
Type: application/octet-stream
Size: 2593 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20200819/9bdc8db8/attachment-0007.obj>