Vocabularies

scheme-vocabulary is intended to contain all the micros and macros that parse Scheme programs. It is initially populated with micros for handling the different syntactic categories; all list objects are treated as applications, awaiting further layers of Scheme to add the various core forms in the language.

arglist-decls-vocab is used to parse argument lists such as those of abstractions. The syntax of arguments accepted is controlled by the language level at which McMicMac is being used.