[Oberon] Clarifying type compatibility in Oberon-07

[August Karlstrom]

On 2017-10-05 17:39, Jörg wrote:
> 
>      It's for the use of structural equivalence in assignment of procedure
>      *variables*.
> 
> This is allowed already with the original wording of Assignment rule 7.
> In the statement p1 := p2, the procedure variable p2 “is a name of a procedure whose formal parameters match those of Tv”.

There is a subtle difference here. It says "Tv is a procedure type and e 
is the name of a procedure whose formal parameters match those of Tv." 
It means that the expression e is the name of a procedure (constant). 
Anyway, as I mentioned after contacting NW, using structural equivalence 
for p1 := p2 where p2 is a procedure variable is not portable.


-- August