[Ecls-list] BUG: incorrect interpretation of compound type specifiers in compiler

Juan Jose Garcia-Ripoll juanjose.garciaripoll at googlemail.com
Sun Nov 13 15:38:12 UTC 2011


On Sat, Nov 12, 2011 at 1:10 PM, Eric Marsden <eric.marsden at free.fr> wrote:

> The following illustrates a bug in the handling of compound type
> specifiers in the compiler. The byte-compiler handles them correctly.
>

The problem is not really in the compiler, but in the type checks it emits,
which rely on TYPEP

> (typep (cons 1 (cons 2 3)) '(cons t (cons * t)))

*
Condition of type: SIMPLE-ERROR
* is not a valid type specifier.


-- 
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/ecl-devel/attachments/20111113/320d71ac/attachment.html>


More information about the ecl-devel mailing list