
<html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">

<font class="Apple-style-span" size="2"><span class="Apple-style-span" style="font-size: 10px;">[taking this at its face value, as an ernest misunderstanding which bears correction]</span></font><div><font class="Apple-style-span" size="2"><span class="Apple-style-span" style="font-size: 10px;"><br></span></font><div><div><font class="Apple-style-span" size="2"><span class="Apple-style-span" style="font-size: 10px;">On 2009-10-18, at 17:30 , Taoufik Dachraoui wrote:</span></font></div><font class="Apple-style-span" size="2"><span class="Apple-style-span" style="font-size: 10px;"><br class="Apple-interchange-newline"></span></font><blockquote type="cite"><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; min-height: 14px; "><font class="Apple-style-span" size="2"><span class="Apple-style-span" style="font-size: 10px;"><br></span></font></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><font class="Apple-style-span" size="2"><span class="Apple-style-span" style="font-size: 10px;">[...]</span></font></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; min-height: 14px; "><font class="Apple-style-span" size="2"><span class="Apple-style-span" style="font-size: 10px;"><br></span></font></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><font class="Apple-style-span" size="2"><span class="Apple-style-span" style="font-size: 10px;">But I have to confess, I am still not convinced, and I think that the </span></font><span class="Apple-converted-space"><font class="Apple-style-span" size="2"><span class="Apple-style-span" style="font-size: 10px;"> </span></font></span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><font class="Apple-style-span" size="2"><span class="Apple-style-span" style="font-size: 10px;">THE operator is not</span></font></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><font class="Apple-style-span" size="2"><span class="Apple-style-span" style="font-size: 10px;">conformant to the specs [according to the spec THE should compare the </span></font><span class="Apple-converted-space"><font class="Apple-style-span" size="2"><span class="Apple-style-span" style="font-size: 10px;"> </span></font></span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><font class="Apple-style-span" size="2"><span class="Apple-style-span" style="font-size: 10px;">specified type</span></font></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><font class="Apple-style-span" size="2"><span class="Apple-style-span" style="font-size: 10px;">with the type of the returned value of the form]; please forget about </span></font><span class="Apple-converted-space"><font class="Apple-style-span" size="2"><span class="Apple-style-span" style="font-size: 10px;"> </span></font></span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><font class="Apple-style-span" size="2"><span class="Apple-style-span" style="font-size: 10px;">previous submissions</span></font></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><font class="Apple-style-span" size="2"><span class="Apple-style-span" style="font-size: 10px;">because there is some confusions about if warning is necessary or not.</span></font></div></blockquote><font class="Apple-style-span" size="2"><span class="Apple-style-span" style="font-size: 10px;"><br></span></font></div><div><font class="Apple-style-span" size="2"><span class="Apple-style-span" style="font-size: 10px;">[one thing at a time]</span></font></div><div><font class="Apple-style-span" size="2"><span class="Apple-style-span" style="font-size: 10px;"><br></span></font></div><div><font class="Apple-style-span" size="2"><span class="Apple-style-span" style="font-size: 10px;">where does the spec say that</span></font></div><div><br></div><div><font class="Apple-style-span" size="2"><span class="Apple-style-span" style="font-size: 10px;"> "THE should compare the specified type with the type of the returned value of the form" ?</span></font></div><div><font class="Apple-style-span" size="2"><span class="Apple-style-span" style="font-size: 10px;"><br></span></font></div><div><font class="Apple-style-span" size="2"><span class="Apple-style-span" style="font-size: 10px;">the version to which i customarily refer contains text [<a href="http://www.lispworks.com/documentation/HyperSpec/Body/s_the.htm]">http://www.lispworks.com/documentation/HyperSpec/Body/s_the.htm]</a> which says</span></font></div><div><font class="Apple-style-span" size="2"><span class="Apple-style-span" style="font-size: 10px;"><br></span></font></div><div><font class="Apple-style-span" size="2"><span class="Apple-style-span" style="font-size: 10px;"> "</span></font><font color="#001fde" style="font: 16.0px Times; color: #001fde"><a href="http://www.lispworks.com/documentation/HyperSpec/Body/s_the.htm#the"><font class="Apple-style-span" face="Monaco" size="2"><span class="Apple-style-span" style="font-size: 10px;">the</span></font></a></font><font style="font: 16.0px Times"><font class="Apple-style-span" face="Monaco" size="2"><span class="Apple-style-span" style="font-size: 10px;"> specifies that the </span></font><a href="http://www.lispworks.com/documentation/HyperSpec/Body/26_glo_v.htm#value"><font color="#001fde" style="color: #001fde"><font class="Apple-style-span" face="Monaco" size="2"><span class="Apple-style-span" style="font-size: 10px;">values</span></font></font></a><font class="Apple-style-span" face="Monaco" size="2"><span class="Apple-style-span" style="font-size: 10px;">[1a] returned by form are of the </span></font><a href="http://www.lispworks.com/documentation/HyperSpec/Body/26_glo_t.htm#type"><font color="#001fde" style="color: #001fde"><font class="Apple-style-span" face="Monaco" size="2"><span class="Apple-style-span" style="font-size: 10px;">types</span></font></font></a><font class="Apple-style-span" face="Monaco" size="2"><span class="Apple-style-span" style="font-size: 10px;"> specified by value-type. The consequences are undefined if any result is not of the declared type."</span></font></font></div><div><br></div><div>those two sentences do not mean the same thing as the behavior which you assert.</div><div><br></div><div><br></div></div></body></html>