[m-rev.] for review: do occurs checks on the parse tree

[Julien Fischer]

On Wed, 2 Oct 2019, Zoltan Somogyi wrote:

>>> And a corresponding name for disable_warnings scopes.
>>>
>>> What should its name be? --warn-occurs-check? --warn-suspected-occurs-check?
>>> Something else?
>>
>> --warn-suspected-occurs-failure
>
> Before I do the rest, does the attached diff look good to you?

That looks fine.

Julien.