[Oberon] Clarifying type compatibility in Oberon-07
fusionfile at gmail.com
Thu Oct 5 17:48:14 CEST 2017
On 2017-10-05 17:39, Jörg wrote:
> It's for the use of structural equivalence in assignment of procedure
> 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.
More information about the Oberon