RESTART-BIND is not supposed to accept declarations

[Michał "phoe" Herda]

http://clhs.lisp.se/Body/s_declar.htm states:

> A declare expression, sometimes called a declaration, can occur only at the beginning of the bodies of certain forms (...)

It then proceeds to list forms that allow declarations; RESTART-BIND is not on that list. This is consistent with http://www.lispworks.com/documentation/HyperSpec/Body/m_rst_bi.htm which lists FORMS as an implicit progn, which does not accept declarations.

However, in SBCL, (restart-bind () (declare (optimize)) 42) does not signal an error.

The solution is to replace ,@forms with (progn ,@forms) in the macroexpansion or RESTART-BIND.