<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><span style="font-family: monospace; white-space: pre-wrap;" class="">> </span><font face="monospace" class=""><span style="white-space: pre-wrap;" class="">I have been in contact with Prof. Wirth and he confirms</span></font><div class=""><font face="monospace" class=""><span style="white-space: pre-wrap;" class="">> that "procedure  Q should be diagnosed in error." Therefore,</span></font></div><div class=""><font face="monospace" class=""><span style="white-space: pre-wrap;" class="">> access to any kind of object  from an intermediate scope is</span></font></div><div class=""><font face="monospace" class=""><span style="white-space: pre-wrap;" class="">> not allowed in Oberon-07/16. This holds  true even for</span></font></div><div class=""><font face="monospace" class=""><span style="white-space: pre-wrap;" class="">> parameter types as illustrated by the example above.</span></font></div><div class=""><font face="monospace" class=""><span style="white-space: pre-wrap;" class=""><br class=""></span></font></div><div class=""><font face="monospace" class=""><span style="white-space: pre-wrap;" class="">This is as it should be. Thus, the current implementation just</span></font></div><div class=""><font face="monospace" class=""><span style="white-space: pre-wrap;" class="">doesn’t implement it (as the example compiles without errors)</span></font></div><div class=""><font face="monospace" class=""><span style="white-space: pre-wrap;" class=""><br class=""></span></font></div><div class=""><font face="monospace" class=""><span style="white-space: pre-wrap;" class="">
</span><br class="Apple-interchange-newline"></font><br class=""></div></body></html>