symbol-macros and type-declarations

Bug #309122 reported by Nikodemus Siivola on 2008-12-17
2
Affects Status Importance Assigned to Milestone
SBCL
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
Douglas Katzman (dougk) wrote :

The relevant citation is found in http://www.lispworks.com/documentation/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.

To post a comment you must log in.
This report contains Public information  Edit
Everyone can see this information.

Other bug subscribers