[Oberon] Serious type loophole in type case statements and a possible fix

Andreas Pirklbauer andreas_pirklbauer at yahoo.com
Fri Oct 30 22:18:27 CET 2020

   > It feels like they are not in the spirit of Oberon…
   > all because of fear of missing out on performance?

For those who want to run some before/after performance comparisons - I’d be
interested in hearing about the results - here is one possible implementation of
the modified type case statement which eliminates all loopholes:


(to see what has changed relative to PO2013, do a diff between the first 2 commits)

Implementation cost: ~15 lines   (relative to PO2013)

More information about the Oberon mailing list