[Oberon] Clarifying type compatibility in Oberon-07

Jörg joerg.straube at iaeth.ch
Thu Oct 5 17:39:07 CEST 2017

    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”.


More information about the Oberon mailing list