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

Michael Schierl schierlm at gmx.de
Fri Oct 30 23:29:56 CET 2020

Hello Jörg,

Am 30.10.2020 um 23:21 schrieb Jörg:
> When the compiler automatically generates a type guard (ORG.TypeTest) for all assignments to p in the CASE, shouldn’t that catch your case?

Yes, it will. But apparently one did not want to have that kind of
runtime penalty. :)



More information about the Oberon mailing list