The compiler ACOMP processes the following categories of
expressions:
constants
numbers
strings
#t or #f
symbols
citations(`quote'-expressions)
definitions(`define'-expressions)
assignment statements(`set!'-expressions)
sequences of expressions(`begin'-expressions)
creation of namespaces(`let'-expressions)
simple alternative structures(`if'-expressions)
lambda abstractions
macros
The following macros are internal compiler macros. They cannot be
directly translated into instructions of the virtual machine. The
compiler has to preprocess them, expanding them into lower level
constructs.
The user may
define his or her own macros using the special form `defmacro',
allowing to specify a user function to pre-process the macro-construct..
complex alternative structures
general selective control structure(`cond'-expressions)
specialized selective control structure(`case'-expressions)
creation of a name space with local recursive procedures(`letrec'-expressions)
