[Oberon] Clarifying type compatibility in Oberon-07

[August Karlstrom]

On 2017-10-08 08:20, Jörg wrote:
> Chris
> 
> A question and I’m really curious to get your opinion
> Would you allow this as well?
> 
> MODULE X
> VAR a*: RECORD real, img: REAL END;
> 
> MODULE Y;
> IMPORT X;
> VAR b: RECORD x, y: REAL END;
> b := X.a

Even C uses name equivalence for record types (structs), but the reason 
for this is that the variables may have different alignment (even though 
they have the same structure).


-- August