Structural equivalence for procedural parameters

Spivoxity / obc-3

Oxford Oberon-2 compiler

38 stars 7 forks source link

Structural equivalence for procedural parameters #15

Closed Spivoxity closed 5 years ago

Spivoxity commented 5 years ago

In deciding type equality, procedural parameters are compared by name and not structurally, despite the rule for "equal types" given in the appendix of the O2 report.

Test case: tGeraint.m

[Reported by Geraint Jones]

Spivoxity commented 5 years ago

Fixed in 3.0.5