<div dir="ltr">Good morning David,<div><br></div><div>> or perhaps he hasn't made a final determination on CASE.</div><div><br></div><div>I like to believe that too.</div><div>Ultimately the proof of the pudding is in the eating. Things have changed before in Oberon.</div><div>Sometimes on good scientific grounds, sometimes on the basis of practical deliberations.</div><div><br></div><div>What Wirth always _has_ argued against is needless inflation of the language just because of 'feature fever'.</div><div>And I agree wholeheartedly with that sentiment.</div><div><br></div><div>At the same time of course we are slowly getting to the point where we need to carry the idea forward ourselves. </div><div><br></div><div>cheers,</div><div><br></div><div>j.</div><div><br><div><br></div></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Nov 23, 2015 at 1:20 AM, David Egan Evans <span dir="ltr"><<a href="mailto:sinuhe@xmission.com" target="_blank">sinuhe@xmission.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">It appears that since 2013 (2011?) Wirth had intended type extension use of CASE only as a type guard (similar to its use in Pascal with variant records). See the second version of the differences document for this.<br>
<br>
What's curious is that though he added the type guard use of CASE in the Report this year, he didn't otherwise remove CASE from it as he indicated (differences document), and implemented in PO2013. Perhaps this was a concession on Wirth's part in the Report, or perhaps he hasn't made a final determination on CASE.<br>
<br>
Either way, I doubt he'll extend CASE in PO2013. CASE is now like Pascal again, but without the requirement for a trap (and thus no need for ELSE. A trap is implementation dependent). I think it more likely that he'll remove CASE from the Report, other than its use as a type guard for RECORD extension. However, with Wirth you never know.<br>
<span class="HOEnZb"><font color="#888888">--<br>
<a href="http://oberon07.com" rel="noreferrer" target="_blank">http://oberon07.com</a><br>
</font></span><div class="HOEnZb"><div class="h5">--<br>
<a href="mailto:Oberon@lists.inf.ethz.ch">Oberon@lists.inf.ethz.ch</a> mailing list for ETH Oberon and related systems<br>
<a href="https://lists.inf.ethz.ch/mailman/listinfo/oberon" rel="noreferrer" target="_blank">https://lists.inf.ethz.ch/mailman/listinfo/oberon</a><br>
</div></div></blockquote></div><br></div>