[m-rev.] [m-dev.] fixing the bug reported on m-users

[Zoltan Somogyi]

2021-11-02 18:43 GMT+11:00 "Julien Fischer" <jfischer at opturion.com>:
>> The main issue with reporting errors at interface-generation-time is that
>> it has been tested only minimally, and therefore switching it on
>> may result in problems. That is a price we have to pay if we *ever*
>> switch it on, so you are right, that is not really an argument against switching now.
> 
> Ok. Another argument in favour of making the switch now is that we need
> to have a new stable release at some point. That will be sometime in the
> beginning of next year. We may as well find any problems now, rather
> than then.

The attached diff implements this decision. For review by anyone.

Zoltan.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Log.haii
Type: application/octet-stream
Size: 4766 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20211119/3a06aab5/attachment-0002.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: DIFF.haii
Type: application/octet-stream
Size: 60727 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20211119/3a06aab5/attachment-0003.obj>