[Oberon] Clarifying type compatibility in Oberon-07
joerg.straube at iaeth.ch
Thu Oct 5 17:56:58 CEST 2017
Okay. NW’s compiler allows it.
If you write p2(4,5) it’s debatable whether p2 is a “name of a procedure“...
> 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
>> 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
More information about the Oberon