symbol-macros and type-declarations
Bug #309122 reported by
Nikodemus Siivola
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| SBCL |
Confirmed
|
Low
|
Unassigned | ||
Bug Description
CLHS says that type declaration of a symbol macro should not affect
its expansion, but in SBCL it does.
| Changed in sbcl: | |
| importance: | Undecided → Medium |
| status: | New → Confirmed |
| Changed in sbcl: | |
| importance: | Medium → Low |
| description: | updated |
Revision history for this message
| Douglas Katzman (dougk) wrote | #1 |
To post a comment you must log in.
The relevant citation is found in http://
"A type declaration of a symbol defined by symbol-macrolet is equivalent to wrapping a /the/ expression around the expansion of that symbol, although the symbol's macro expansion is not actually affected.