<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="">Oberon differentiates between the concept of structured types (“A”) vs basic (“B”) types.
>
> br
> Jörg
</span><br class=""></font><div class=""><font face="monospace" class="">...<span style="white-space: pre-wrap;" class=""> leaving the question open of what its defining property actually is.</span></font></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="">It’s a matter of definition. </span><span style="font-family: monospace; white-space: pre-wrap;" class="">The current status quo is:</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="">- "basic types" imply structural equivalence</span></div><div class=""><font face="monospace" class=""><span style="white-space: pre-wrap;" class="">- “structured </span></font><span style="white-space: pre-wrap; font-family: monospace;" class="">types” (arrays, records) imply name equivalence (except for open arrays).</span><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=""><font face="monospace" class=""><span style="white-space: pre-wrap;" class=""><br class=""></span></font></div></div></body></html>