Activity log for bug #309468

Date Who What changed Old value New value Message
2008-12-18 20:31:58 Nikodemus Siivola bug added bug
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.)
2008-12-19 18:37:48 Nikodemus Siivola sbcl: status New Confirmed
2008-12-19 18:37:48 Nikodemus Siivola sbcl: importance Undecided Low
2008-12-19 18:37:48 Nikodemus Siivola sbcl: statusexplanation
2019-12-07 05:27:17 Stas Boukarev sbcl: status Confirmed Won't Fix