[ansi-test-devel] Problem with CTYPECASE.15

[Juan Jose Garcia-Ripoll]

On Sat, Feb 19, 2011 at 7:37 AM, Tobias C Rittweiler <tcr at freebits.de>wrote:

>
> So it seems to me it's only valid to complain
> if no type clause would match.
>

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.

Juanjo

-- 
Instituto de Física Fundamental, CSIC
c/ Serrano, 113b, Madrid 28006 (Spain)
http://juanjose.garciaripoll.googlepages.com
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.common-lisp.net/pipermail/ansi-test-devel/attachments/20110219/3026a721/attachment.html>