[Oberon] Intermediate scopes in Oberon-07

[August Karlstrom]

On 2018-02-09 11:51, August Karlstrom wrote:
>      MODULE test;
> 
>          PROCEDURE P;
>              TYPE T = INTEGER;
> 
>              PROCEDURE Q(x: T): T;
>              RETURN 0
>              END Q;
>          END P;
> 
>      END test.

I have been in contact with Prof. Wirth and he confirms that "procedure 
Q should be diagnosed in error." Therefore, access to any kind of object 
from an intermediate scope is not allowed in Oberon-07/16. This holds 
true even for parameter types as illustrated by the example above.

-- August