[Oberon] Clarifying type compatibility in Oberon-07

[Jörg]

Okay. NW’s compiler allows it.
If you write p2(4,5) it’s debatable whether p2 is a “name of a procedure“...

Jörg

> Am 05.10.2017 um 17:48 schrieb August Karlstrom <fusionfile at gmail.com>:
> 
>> 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
> --
> Oberon at lists.inf.ethz.ch mailing list for ETH Oberon and related systems
> https://lists.inf.ethz.ch/mailman/listinfo/oberon