<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body dir="auto"><div dir="ltr"></div><div dir="ltr"><br></div><div dir="ltr"><br>Am 22.02.2019 um 09:57 schrieb Jörg Straube <<a href="mailto:joerg.straube@iaeth.ch">joerg.straube@iaeth.ch</a>>:<br><br></div><blockquote type="cite"><div dir="ltr"><span>CASE does now what WITH used to do...</span><br></div></blockquote><br><div>Oh, indeed:</div><div><br></div><div> <a href="https://www.inf.ethz.ch/personal/wirth/Oberon/Oberon07.Report.pdf">https://www.inf.ethz.ch/personal/wirth/Oberon/Oberon07.Report.pdf</a></div><div><br></div><div>Chapter 9.5 „Case Statements“:</div><div><br></div><div>„The type T of the case expression (case variable) may also be a record or pointer type. Then the case labels must be extensions of T, and in the statements Si labelled by Ti, the case variable is considered as of type Ti.“</div><div><br></div><div>Thanks!</div><div> Oliver</div><div><br></div></body></html>