The racket/unit-exptime library provides procedures that are intended for use by macro transformers. In particular, the library is typically imported using for-syntax into a module that defines macro with define-syntax .
procedure
err-syntax)→unit-identifier:identifier?err-syntax:syntax?
If unit-identifier is not bound to static unit information, then the exn:fail:syntax exception is raised. In that case, the given err-syntax argument is used as the source of the error, where unit-identifier is used as the detail source location.
procedure
err-syntax) →sig-identifier:identifier?err-syntax:syntax?
an identifier or #f indicating the signature (of any) that is extended by the sig-identifier binding;
a list of identifiers representing the variables supplied/required by the signature;
a list of identifiers for variable definitions in the signature (i.e., variable bindings that are provided on import, but not defined by units that implement the signature); and
a list of identifiers with syntax definitions in the signature.
Each of the result identifiers is given lexical information that is based on sig-identifier, so the names are suitable for reference or binding in the context of sig-identifier. See define-signature for more information.
If sig-identifier is not bound to a signature, then the exn:fail:syntax exception is raised. In that case, the given err-syntax argument is used as the source of the error, where sig-identifier is used as the detail source location.
procedure
err-syntax)→unit-identifier:identifier?err-syntax:syntax?
If unit-identifier is not bound to static unit information, then the exn:fail:syntax exception is raised. In that case, the given err-syntax argument is used as the source of the error, where unit-identifier is used as the detail source location.
Added in version 6.1.1.8 of package base.