On Sat, Feb 19, 2011 at 7:37 AM, Tobias C Rittweiler <span dir="ltr"><<a href="mailto:tcr@freebits.de">tcr@freebits.de</a>></span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">

<br>
So it seems to me it's only valid to complain<br>
if no type clause would match.<br>
</blockquote></div><br>Notice that this is not possible. The compiler has to generate code for a statement that assigns a new value to the argument of CTYPECASE in case no type is matched. That statement will be always generated unless the compiler does some magic for inferring that there will be no type violation, but compilers are not expected to do that, so this code is definitely not valid.<br>

<br>Juanjo<br clear="all"><br>-- <br>Instituto de Física Fundamental, CSIC<br>c/ Serrano, 113b, Madrid 28006 (Spain) <br><a href="http://juanjose.garciaripoll.googlepages.com" target="_blank">http://juanjose.garciaripoll.googlepages.com</a><br>