From: Bruno Haible
Subject: Re: (cons type type)
Date: Mon, 23 Nov 1998 00:00:00 +0000
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/