On this page:
expr
identifier
boolean
str
char
keyword
number
integer
exact-integer
exact-nonnegative-integer
exact-positive-integer
id
nat
static
static-of
Version: 4.1.5

3 Library syntax classes

expr

Matches anything except a keyword literal (to distinguish expressions from the start of a keyword argument sequence). Does not expand or otherwise inspect the term.

identifier
boolean
str
char
keyword
number
integer
exact-integer
exact-nonnegative-integer
exact-positive-integer

Match syntax satisfying the corresponding predicates.

id

Alias for identifier.

nat

Alias for exact-nonnegative-integer.

The following syntax classes mirror parts of the macro API. They may only be used during transformation (when syntax-transforming? returns true). Otherwise they may raise an error.

static

Matches identifiers that are bound in the syntactic environment to static information (see syntax-local-value). Attribute value contains the value the name is bound to.

(static-of description predicate)

Refines static: matches identifiers that are bound in the syntactic environment to static information satisfying the given predicate. Attribute value contains the value the name is bound to. The description argument is used for error reporting.