On Sat, Nov 12, 2011 at 1:10 PM, Eric Marsden <eric.marsden@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)