|
|
|---|
|
|
|
|---|
Form that can bind a free variable to a value computed from examining the syntax of other bound variables in the RHS of an FGL rewrite rule.
The basic syntax of a syntax-bind form is:
(syntax-bind fresh-variable binding-form)
where fresh-variable must be a variable not previously bound and binding-form is a term that may mention previously bound variables. See fgl-rewrite-rules for further discussion.
The above syntax-bind form is actually a macro which expands to:
(bind-var fresh-variable (syntax-interp binding-form))