symbol-macros and dynamic-extent, special declarations

[Tobias C. Rittweiler]

The following should signal a continuable error:

  (define-symbol-macro .foo. 42)
  (declaim (special .foo.))

See the CLHS entry for DEFINE-SYMBOL-MACRO. (Continuable for convenience.)

Furthermore, a test should be added to the test suite that checks that

   (symbol-macrolet ((.x. 42))
     (declare (dynamic-extent .x.))
     nil)

results in an error. (It does result in an error, but the test suite
should explicitly check for it.)

[define-symbol-macro] -

   http://www.lispworks.com/documentation/HyperSpec/Body/m_defi_1.htm#define-symbol-macro

[symbol-macrolet] -

  http://www.lispworks.com/documentation/HyperSpec/Body/s_symbol.htm#symbol-macrolet

[dynamic-extent] -

  http://www.lispworks.com/documentation/HyperSpec/Body/d_dynami.htm#dynamic-extent

[Nikodemus Siivola (nikodemus)]

Unspecified behaviour, so yes, an error would be good.

[Douglas Katzman (dougk)]

Tried it just now and got:

debugger invoked on a SIMPLE-ERROR in thread
#<THREAD "main thread" RUNNING {7F2121DC8103}>:
  Cannot proclaim a MACRO variable SPECIAL: .FOO.

I would call it fixed.