On this page:
syntax-class-attributes
syntax-class-arity
syntax-class-keywords
syntax-class-parse
debug-parse

1.9 Debugging and Inspection Tools

 (require syntax/parse/debug)

The following special forms are for debugging syntax classes.

syntax

(syntax-class-attributes syntax-class-id)

Returns a list of the syntax class’s attributes. Each attribute entry consists of the attribute’s name and ellipsis depth.

syntax

(syntax-class-arity syntax-class-id)

syntax

(syntax-class-keywords syntax-class-id)

Returns the syntax class’s arity and keywords, respectively. Compare with procedure-arity and procedure-keywords.

syntax

(syntax-class-parse syntax-class-id stx-expr arg ...)

 
  stx-expr : syntax?
Runs the parser for the syntax class (parameterized by the arg-exprs) on the syntax object produced by stx-expr. On success, the result is a list of vectors representing the attribute bindings of the syntax class. Each vector contains the attribute name, depth, and associated value. On failure, the result is some internal representation of the failure.

syntax

(debug-parse stx-expr S-pattern ...+)

 
  stx-expr : syntax?
Tries to match stx-expr against the S-patterns. If matching succeeds, the symbol 'success is returned. Otherwise, an S-expression describing the failure is returned.

The failure S-expression shows both the raw set of failures (unsorted) and the failures with maximal progress. The maximal failures are divided into equivalence classes based on their progress (progress is a partial order); that is, failures within an equivalence class have the same progress and, in principle, pinpoint the same term as the problematic term. Multiple equivalence classes only arise from ~parse patterns (or equivalently, #:with clauses) that match computed terms or ~fail (#:fail-when, etc) clauses that allow a computed term to be pinpointed.