[Oberon] Type compatibility rules for Pointers

Diego Sardina dsar at eml.cc
Mon Jun 15 23:23:08 CEST 2020

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

More information about the Oberon mailing list