Version: 5.1.2
5 Contracts for macro subexpressions
This library provides a procedure wrap-expr/c for applying contracts to macro subexpressions.
(require unstable/wrapc) |
This library is unstable;
compatibility will not be maintained.
See Unstable: May Change Without Warning for more information.
| |||||||||||||||||||||||||||||||||||||||||||||||||
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) |
Returns a syntax object representing an expression that applies the
contract represented by contract-expr to the value produced
by expr.
The other arguments have the same meaning as for expr/c.
Examples: | ||||||||||||||||||||||||||||||||||||||||||||||||||
|