<div dir="ltr"><div dir="ltr">On Fri, Jan 28, 2022 at 11:31 AM Oleg N. Cher <<a href="mailto:allot@bk.ru">allot@bk.ru</a>> wrote:<br></div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Hi Chris and all,<br>
<br>
But of course you are aware that the latest revisions of the Oberon-07 <br>
language report say nothing about the fact that CASE should warn the <br>
programmer about an encountered label that is not in the list?<br><br></blockquote><div><br></div><div><p class="gmail-MsoPlainText" style="margin:0cm 0cm 0.0001pt"><font face="arial, sans-serif" style="">Sure. A newcomer might also wonder what happens when the same label appears in more than one list, if the labels in a list are not in numeric order, if the range is in decreasing order etc. etc. An experienced programmer might have preconceived ideas about all of these so the questions might not arise for them. However, a compiler implementer has to consider all of them and decide what actions to take.</font></p><p class="gmail-MsoPlainText" style="margin:0cm 0cm 0.0001pt"><font face="arial, sans-serif" style=""><br></font></p><p class="gmail-MsoPlainText" style="margin:0cm 0cm 0.0001pt"><font face="arial, sans-serif" style="">The Oberon-07 Report does not <i>prescribe</i> implementation-specific
behaviour. If you are implementing a compiler you can choose what to do depending
on what is most feasible for the platform and target processor that you are
using. There are usually many trade-offs concerned when making these decisions.
If you are using a compiler and you cannot determine what the behaviour is, then you should either refer to the implementation-specific
documentation for the compiler that you are using, or contact the author(s) for
those details. </font></p><p class="gmail-MsoPlainText" style="margin:0cm 0cm 0.0001pt;font-size:9pt"><span style="font-size:11pt"><font face="tahoma, sans-serif"><br></font></span></p><p class="gmail-MsoPlainText" style="margin:0cm 0cm 0.0001pt"><font face="arial, sans-serif" style="">--</font></p><p class="gmail-MsoPlainText" style="margin:0cm 0cm 0.0001pt"><font face="arial, sans-serif">Chris Burrows</font></p><p class="gmail-MsoPlainText" style="margin:0cm 0cm 0.0001pt"><font face="arial, sans-serif">CFB Software</font></p><p class="gmail-MsoPlainText" style="margin:0cm 0cm 0.0001pt"><font face="arial, sans-serif" style=""><a href="http://www.astrobe.com">http://www.astrobe.com</a></font></p><p class="gmail-MsoPlainText" style="margin:0cm 0cm 0.0001pt;font-size:9pt"><span style="font-size:11pt"><font face="tahoma, sans-serif"><br></font></span></p><p class="gmail-MsoPlainText" style="margin:0cm 0cm 0.0001pt;font-size:9pt"><span style="font-size:11pt"><font face="tahoma, sans-serif"><br></font></span></p>

<p class="gmail-MsoPlainText" style="margin:0cm 0cm 0.0001pt;font-size:9pt;font-family:Consolas"> </p></div></div></div>