[Oberon] Intermediate scopes in Oberon-07

August Karlstrom fusionfile at gmail.com
Fri Feb 9 16:45:27 CET 2018

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

More information about the Oberon mailing list