0e16ce4bea
When an internal-definition context is used with `local-expand`, the any binding added to the context affect expansion, but the binding do not appear in the expansion. As a result, Check Syntax was unable to draw an arrow from the `s` use to its binding in (class object% (define-struct s ()) s) The general solution is to add the internal-definition context's bindings to the expansion as a 'disappeared-bindings property. The new `internal-definitionc-context-track` function does that using a new `internal-definition-context-binding-identifier` primitive.
41 lines
742 B
Racket
41 lines
742 B
Racket
#lang scribble/doc
|
|
@(require "common.rkt")
|
|
|
|
@title{Syntax: Meta-Programming Helpers}
|
|
|
|
@table-of-contents[]
|
|
|
|
@include-section["parse.scrbl"]
|
|
|
|
@include-section["syntax-object-helpers.scrbl"]
|
|
|
|
@include-section["datum.scrbl"]
|
|
|
|
@include-section["module-helpers.scrbl"]
|
|
|
|
@include-section["transformer-helpers.scrbl"]
|
|
|
|
@include-section["reader-helpers.scrbl"]
|
|
|
|
@include-section["for-body.scrbl"]
|
|
|
|
@include-section["for-transform.scrbl"]
|
|
|
|
@include-section["srcloc.scrbl"]
|
|
|
|
@include-section["quote.scrbl"]
|
|
|
|
@include-section["toplevel.scrbl"]
|
|
|
|
@include-section["trusted-xforms.scrbl"]
|
|
|
|
@include-section["docprovide.scrbl"]
|
|
|
|
@include-section["contract.scrbl"]
|
|
|
|
@include-section["macro-testing.scrbl"]
|
|
|
|
@include-section["intdef.scrbl"]
|
|
|
|
@index-section[]
|