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 |
To post a comment you must log in.
The relevant citation is found in http:// www.lispworks. com/documentati on/HyperSpec/ Body/d_ type.htm
"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.