[Oberon] Type compatibility rules for Pointers

[Diego Sardina]

On Mon, Jun 15, 2020, at 10:07 PM, chris wrote:
> Yes I am. In my understanding this breaks the longstanding tradition 
> since the Modula days, that type compatibility is declared by name and 
> not inferred by structure (Only exception are procedure types for 
> obvious reasons and type extension).
>  

A small clarification: variables of procedure types are compatible by name. The exception for structural is the assignment of a procedure constant to a procedure variable (because procedures constant have an anonymous type).
If I remember correct, it's the same in Modula-2.

--
Diego Sardina