
<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="">> On </span><font face="monospace" class=""><span style="white-space: pre-wrap;" class="">Thu Oct 12 16:34:47 CEST 2017 Diego Sardina wrote:</span></font><div class=""><font face="monospace" class=""><span style="white-space: pre-wrap;" class="">></span></font></div><div class=""><font face="monospace" class=""><span style="white-space: pre-wrap;" class="">> Wirth said that these [i.e. structural equivalence for array</span></font></div><div class=""><font face="monospace" class=""><span style="white-space: pre-wrap;" class="">> and </span></font><font face="monospace" class=""><span style="white-space: pre-wrap;" class="">procedure </span></font><span style="white-space: pre-wrap; font-family: monospace;" class="">assignments, but not for record assignments]</span></div><div class=""><span style="white-space: pre-wrap; font-family: monospace;" class="">> are to be considered extensions to the language report and</span></div><div class=""><span style="white-space: pre-wrap; font-family: monospace;" class="">> that a compiler shouldn't be taken as reference.</span></div><div class=""><span style="white-space: pre-wrap; font-family: monospace;" class="">></span></div><div class=""><font face="monospace" class=""><span style="white-space: pre-wrap;" class="">> [...]</span></font></div><div class=""><font face="monospace" class=""><span style="white-space: pre-wrap;" class="">></span></font></div><div class=""><font face="monospace" class=""><span style="white-space: pre-wrap;" class="">> Wirth developed a compiler that doesn't match with the</span></font></div><div class=""><font face="monospace" class=""><span style="white-space: pre-wrap;" class="">> report and this is also claimed by him. </span></font><span style="font-family: monospace; white-space: pre-wrap;" class="">Where is the problem?</span></div><div class=""><span style="font-family: monospace; white-space: pre-wrap;" class="">></span></div><div class=""><span style="font-family: monospace; white-space: pre-wrap;" class=""><br class=""></span></div><div class=""><span style="font-family: monospace; white-space: pre-wrap;" class="">Of course, if that is your problem definition, then there is</span></div><div class=""><font face="monospace" class=""><span style="white-space: pre-wrap;" class="">indeed “no problem” and we can end this thread right here.</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="">I happen to think otherwise: </span></font><span style="font-family: monospace; white-space: pre-wrap;" class="">While I do agree (or accept)</span></div><div class=""><span style="font-family: monospace; white-space: pre-wrap;" class="">that a language report can (and in </span><span style="font-family: monospace; white-space: pre-wrap;" class="">some cases better should)</span></div><div class=""><span style="font-family: monospace; white-space: pre-wrap;" class="">leave certain things open</span><span style="font-family: monospace; white-space: pre-wrap;" class="">, I do </span><span style="font-family: monospace; white-space: pre-wrap;" class="">NOT </span><span style="font-family: monospace; white-space: pre-wrap;" class="">believe </span><span style="font-family: monospace; white-space: pre-wrap;" class="">that the important</span></div><div class=""><span style="font-family: monospace; white-space: pre-wrap;" class="">question </span><span style="font-family: monospace; white-space: pre-wrap;" class="">of whether an </span><span style="font-family: monospace; white-space: pre-wrap;" class="">assignment </span><span style="font-family: monospace; white-space: pre-wrap;" class="">implies </span><span style="font-family: monospace; white-space: pre-wrap;" class="">structural </span><span style="font-family: monospace; white-space: pre-wrap;" class="">equivalence</span></div><div class=""><span style="font-family: monospace; white-space: pre-wrap;" class="">or not is one of those things.</span></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="">-AP</span></font></div></body></html>