1 Introduction

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

• parse a &BODY parameter into body forms, declarations, and documentation string (see parse-body),
• parse declarations into a special data structure “declaration-env” (see parse-declarations),
• filter declaration specifiers stored in such a data structure conveniently (see filter-declaration-env),
• construct actual declarations again for macros to expand to (see build-declarations).

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

• extend the set of known declaration specifiers (see analyze-declaration-specifier and build-declaration-specifier),
• parse any declaration specifier (including the standardized ones) in arbitrary ways (see map-declaration-env).