Parse-Declarations is a Common Lisp library to help writing macros which establish bindings. To be semantically correct, such macros must take user declarations into account, as these may affect the bindings they establish. Yet the ANSI standard of Common Lisp does not provide any operators to work with declarations in a convenient, high-level way.
This library provides such operators. In particular, it includes facilities to
&BODYparameter into body forms, declarations, and documentation string (see parse-body),
All declaration specifiers defined by the ANSI standard are understood. Furthermore, Parse-Declarations provides ways for the user to customize how unknown declaration specifiers are parsed. In particular, it allows users to