<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="">As pointed out by Diego, ARRAY 12 OF INTEGER is a type constructor which </span></font><div class=""><font face="monospace" class=""><span style="white-space: pre-wrap;" class="">> creates a new type, whereas INTEGER is the name of an existing type. So
> in code A the variables have different types, and in code B they have
> the same type.</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="">Understood. And... good point. But one still needs to *define* what the</span></font></div><div class=""><font face="monospace" class=""><span style="white-space: pre-wrap;" class="">assignment rules should be in both cases. *One* sensible choice (which</span></font></div><div class=""><font face="monospace" class=""><span style="white-space: pre-wrap;" class="">is the status quo in Oberon-07) is </span></font><span style="white-space: pre-wrap; font-family: monospace;" class="">to assume structural equivalence for</span></div><div class=""><span style="white-space: pre-wrap; font-family: monospace;" class="">basic types and name equivalence </span><span style="white-space: pre-wrap; font-family: monospace;" class="">for structured types such as arrays and</span></div><div class=""><span style="white-space: pre-wrap; font-family: monospace;" class="">records (except for open arrays). This particular choice kind of draws</span></div><div class=""><font face="monospace" class=""><span style="white-space: pre-wrap;" class="">a(nother) clear distinction between the two, also when it comes to</span></font></div><div class=""><font face="monospace" class=""><span style="white-space: pre-wrap;" class="">assignment rules. </span></font><span style="font-family: monospace; white-space: pre-wrap;" class="">But it </span><span style="font-family: monospace; white-space: pre-wrap;" class="">is not the only choice. Hence this discussion.</span></div><div class=""><br class=""></div><div class=""><font face="monospace" class=""><span style="white-space: pre-wrap;" class="">> (Andreas, for some reason all your messages consistently end up in my
> Gmail spam folder. I don't understand the reason for this.)</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="">> -- </span></font><span style="font-family: monospace; white-space: pre-wrap;" class="">August</span><font face="monospace" class=""><span style="white-space: pre-wrap;" class="">
</span></font></div><div class=""><span style="font-family: monospace; white-space: pre-wrap;" class=""><br class=""></span></div><div class=""><font face="monospace" class=""><span style="white-space: pre-wrap;" class="">I have no clue. I hope it’s not related to the content ;-)</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="">-AP</span></font></div><div class=""><span style="font-family: monospace; white-space: pre-wrap;" class=""><br class=""></span></div><div class=""><font face="monospace" class=""><span style="white-space: pre-wrap;" class=""><br class=""></span></font></div><div class=""><span style="font-family: monospace; white-space: pre-wrap;" class=""><br class=""></span></div><div class=""><br class=""></div></body></html>