<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="">Just to clarify, this is a restriction of</span></font><div class=""><font face="monospace" class=""><span style="white-space: pre-wrap;" class=""> > the PO 2013 compiler, and not something</span></font></div><div class=""><font face="monospace" class=""><span style="white-space: pre-wrap;" class=""> > which is specified in the language report.</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="">The language report has indeed not been updated. The</span></font></div><div class=""><span style="white-space: pre-wrap; font-family: monospace;" class="">second sentence in section 6.4. still </span><span style="white-space: pre-wrap; font-family: monospace;" class="">reads “it </span><span style="white-space: pre-wrap; font-family: monospace;" class="">must</span></div><div class=""><font face="monospace" class=""><span style="white-space: pre-wrap;" class="">be a record type” and not “.. </span></font>a <span style="white-space: pre-wrap; font-family: monospace;" class="">named record </span><span style="white-space: pre-wrap; font-family: monospace;" class="">type"</span></div></body></html>