From: Bruno Haible
Subject: Re: (cons type type)
Date: 
Message-ID: <73co2s$5i$1@news.u-bordeaux.fr>
Sam Steingold <ยทยทยท@goems.com> asked:
> what's wrong with
> (declare (type (cons fixnum double-float) x))
> ?
> [CMUCL and ACL reject it:...]

This declaration is perfectly correct. X3J13 introduced CONS as a composite
type specifier. Unfortunately, this came _after_ Guy Steele produced CLtL2.

                   Bruno                       http://clisp.cons.org/~haible/