►The Racket Reference
▼3 Syntactic Forms
On this page:
quote-syntax
  top  ← prev  up  next → 

3.21 Syntax Quoting: quote-syntax

syntax

(quote-syntax datum)

(quote-syntax datum #:local)
Similar to quote, but produces a syntax object that preserves the lexical information and source-location information attached to datum at expansion time.

When #:local is specified, than all scopes in the syntax object’s lexical information is preserved. When #:local is omitted, then the scope sets within datum are pruned to omit the scope for any binding form that appears between the quote-syntax form and the enclosing top-level context, module body, or phase level crossing, whichever is closer.

Unlike syntax (#'), quote-syntax does not substitute pattern variables bound by with-syntax, syntax-parse, or syntax-case.

Examples:

> (syntax? (quote-syntax x))

#t

> (quote-syntax (1 2 3))

#<syntax:72:0 (1 2 3)>

> (with-syntax ([a #'5])
    (quote-syntax (a b c)))

#<syntax:73:0 (a b c)>

> (free-identifier? (let ([x 1]) (quote-syntax x))
                    (quote-syntax x))

free-identifier?: undefined;

 cannot reference undefined identifier

> (free-identifier? (let ([x 1]) (quote-syntax x #:local))
                    (quote-syntax x))

free-identifier?: undefined;

 cannot reference undefined identifier

Changed in version 6.3 of package base: Added scope pruning and support for #:local.

  top  ← prev  up  next →