4 Contracts for macro subexpressions
This library provides a procedure wrap-expr/c for applying contracts to macro subexpressions.
(require unstable/wrapc) |
| |||||||||||||||||||||||||||||||||||||||||||||||||
contract-expr : syntax? | |||||||||||||||||||||||||||||||||||||||||||||||||
expr : syntax? | |||||||||||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||||||||||
expr-name : (or/c identifier? symbol? string? #f) = #f | |||||||||||||||||||||||||||||||||||||||||||||||||
macro-name : (or/c identifier? symbol? string? #f) = #f | |||||||||||||||||||||||||||||||||||||||||||||||||
context : (or/c syntax? #f) = (current-syntax-context) |
The contract’s positive blame represents the obligations of the
expression being wrapped. The negative blame represents the
obligations of the macro imposing the contract—
If the argument is a string, it is used directly as the blame label.
If the argument is syntax, its source location is used to produce the blame label.
If the argument is a module path index, its resolved module path is used.
If the argument is 'from-macro, the macro is inferred from either the macro-name argument (if macro-name is an identifier) or the context argument, and the module where it is defined is used as the negative blame location. If neither an identifier macro-name nor a context argument is given, the location is "unknown".
If the argument is 'use-site, the module being expanded is used.
If the argument is 'unknown, the blame label is "unknown".
The macro-name argument is used to determine the macro’s binding, if it is an identifier. If expr-name is given, macro-name is also included in the contract error message. If macro-name is omitted or #f, but context is a syntax object, then macro-name is determined from context.
If expr-name is not #f, it is used in the contract’s error message to describe the expression the contract is applied to.
The context argument is used, when necessary, to infer the macro name for the negative blame party and the contract error message. The context should be either an identifier or a syntax pair with an identifer in operator position; in either case, that identifier is taken as the macro ultimately requesting the contract wrapping.
Examples: | ||||||||||||||||||||||||||||||||||||||||||||||||||||
|