2008-12-19 18:37:29 |
Nikodemus Siivola |
description |
ANSI says in one place that type declarations can be abbreviated even
when the type name is not a symbol, e.g.
(DECLAIM ((VECTOR T) *FOOVECTOR*))
SBCL doesn't support this. But ANSI says in another place that this
isn't allowed. So it's not clear this is a bug after all. (See the
e-mail on cmucl-help@cons.org on 2001-01-16 and 2001-01-17 from WHN
and Pierre Mai.)
(Actually this has changed changed since, and types as above are
now supported. This may be a bug.) |
ANSI says in one place that type declarations can be abbreviated even
when the type name is not a symbol, e.g.
(DECLAIM ((VECTOR T) *FOOVECTOR*))
..but ANSI says in another place that this isn't allowed. So it's not clear what
is right.
Historically SBCL did not support this, and currently it does. We need
to make a reasoned decision either way, and document this.
(See the e-mail on cmucl-help@cons.org on 2001-01-16 and 2001-01-17
from WHN and Pierre Mai.)
|
|