| /dports/lang/racket/racket-8.3/src/expander/expand/ |
| H A D | local-expand.rkt | 21 local-expand/capture-lifts
23 local-transformer-expand/capture-lifts
27 (do-local-expand 'local-expand s context stop-ids intdefs))
29 (define (local-expand/capture-lifts s context stop-ids [intdefs #f] [lift-key (generate-lift-key)])
30 (do-local-expand 'local-expand s context stop-ids intdefs
35 (do-local-expand 'local-expand s context stop-ids intdefs
38 (define (local-transformer-expand/capture-lifts s context stop-ids [intdefs #f] [lift-key (generate…
113 (without-expand-context
129 #:expand-lifts? #f
137 #:expand-lifts? #f
[all …]
|
| H A D | lift-context.rkt | 8 "root-expand-context.rkt"
14 ;; functions as communicated through the current expand context.
69 (box-cons! (lift-context-lifts lifts) lifted)
73 (box-clear! (lift-context-lifts lifts)))
90 (root-expand-context-post-expansion
91 (namespace-get-root-expand-ctx
92 (expand-context-namespace ctx)))))
152 (box-clear! (module-lift-context-lifts module-lifts)))
171 (box-cons! (module-lift-context-lifts module-lifts) s)]
172 [(lift-context? module-lifts)
[all …]
|
| H A D | top.rkt | 26 (unless (eq? (expand-context-context ctx) 'top-level)
31 (if (expand-context-to-parsed? ctx)
41 (unless (eq? (expand-context-context ctx) 'top-level)
47 (if (expand-context-to-parsed? ctx)
57 (unless (eq? (expand-context-context ctx) 'top-level)
81 (define lifts (get-and-clear-lifts! lift-ctx))
83 [(null? lifts)
86 (log-expand ctx 'module-lift-loop lifts)
87 (define beg (wrap-lifts-as-begin lifts #f (expand-context-phase trans-ctx)))
91 (if (expand-context-to-parsed? ctx)
[all …]
|
| H A D | main.rkt | 51 expand/capture-lifts
558 (define (expand/capture-lifts s ctx
559 #:expand-lifts? [expand-lifts? #f]
585 (expand-context-module-lifts ctx)
589 (define lifts (get-and-clear-lifts! (expand-context-lifts capture-ctx)))
595 (unless expand-lifts? (error "internal error: to-parsed mode without expanding lifts"))
603 [(or (not expand-lifts?) (null? lifts) (expand-context-to-parsed? ctx))
608 (log-expand ctx 'letlift-loop with-lifts-s)
624 #:expand-lifts? [expand-lifts? #t]
633 (expand/capture-lifts s trans-ctx
[all …]
|
| H A D | context.rkt | 42 (struct* expand-context root-expand-context
63 lifts ; #f or lift-context, which contains a list of lifteds
64 lift-envs ; list of box of env for lifts to locals
65 module-lifts ; lifted `module`s
66 require-lifts ; lifted `require`s
67 to-module-lifts ; lifted `provide` and end declarations
84 (expand-context (root-expand-context-self-mpi root-ctx)
114 #f ; lifts
116 #f ; module-lifts
117 #f ; require-lifts
[all …]
|
| H A D | syntax-local.rkt | 75 (expand-context-lifts ctx)
81 (expand-context-to-module-lifts ctx)
94 (expand-context-context ctx))
118 (expand-context-phase ctx)
243 (define lifts (expand-context-lifts ctx))
277 (define lifts (expand-context-module-lifts ctx))
278 (unless lifts
331 #:get-lift-ctx expand-context-require-lifts
340 (without-expand-context
352 #:get-lift-ctx expand-context-to-module-lifts
[all …]
|
| H A D | module.rkt | 285 (define initial-lifted-requires (get-require-lifts (expand-context-require-lifts ctx)))
730 (get-and-clear-end-lifts! (expand-context-to-module-lifts partial-body-ctx))
731 (get-and-clear-provide-lifts! (expand-context-to-module-lifts partial-body-ctx))))
746 (define lifted-defns (get-and-clear-lifts! (expand-context-lifts partial-body-ctx)))
747 …(define lifted-reqs (get-and-clear-require-lifts! (expand-context-require-lifts partial-body-ctx)))
748 … (define lifted-mods (get-and-clear-module-lifts! (expand-context-module-lifts partial-body-ctx)))
972 (get-and-clear-end-lifts! (expand-context-to-module-lifts body-ctx))
973 (get-and-clear-provide-lifts! (expand-context-to-module-lifts body-ctx))))
1035 (define lifted-defns (get-and-clear-lifts! (expand-context-lifts body-ctx)))
1038 (get-and-clear-require-lifts! (expand-context-require-lifts body-ctx)))
[all …]
|
| H A D | log.rkt | 2 (require "context.rkt")
4 (provide log-expand
5 log-expand*
6 log-expand...
7 ...log-expand)
12 (let ([obs (expand-context-observer ctx)])
24 (log-expand... ctx
116 (tag/context . 1)
123 (module-end-lifts . 1)
124 (module-pass1-lifts . 3)
[all …]
|
| H A D | root-expand-context.rkt | 10 (provide (struct*-out root-expand-context)
11 make-root-expand-context
16 root-expand-context-encode-for-module
17 root-expand-context-decode-for-module)
19 ;; A `root-expand-context` is a subset of `expand-context` that is
23 (struct* root-expand-context
35 lift-key ; identifies (via `syntax-local-lift-context`) a target for lifts
46 (root-expand-context self-mpi
85 (root-expand-context-frame-id ctx)
100 (error 'root-expand-context-decode-for-module
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/src/expander/expand/ |
| H A D | local-expand.rkt | 21 local-expand/capture-lifts
23 local-transformer-expand/capture-lifts
27 (do-local-expand 'local-expand s context stop-ids intdefs))
29 (define (local-expand/capture-lifts s context stop-ids [intdefs #f] [lift-key (generate-lift-key)])
30 (do-local-expand 'local-expand s context stop-ids intdefs
35 (do-local-expand 'local-expand s context stop-ids intdefs
38 (define (local-transformer-expand/capture-lifts s context stop-ids [intdefs #f] [lift-key (generate…
113 (without-expand-context
129 #:expand-lifts? #f
137 #:expand-lifts? #f
[all …]
|
| H A D | lift-context.rkt | 8 "root-expand-context.rkt"
14 ;; functions as communicated through the current expand context.
69 (box-cons! (lift-context-lifts lifts) lifted)
73 (box-clear! (lift-context-lifts lifts)))
90 (root-expand-context-post-expansion
91 (namespace-get-root-expand-ctx
92 (expand-context-namespace ctx)))))
152 (box-clear! (module-lift-context-lifts module-lifts)))
171 (box-cons! (module-lift-context-lifts module-lifts) s)]
172 [(lift-context? module-lifts)
[all …]
|
| H A D | top.rkt | 26 (unless (eq? (expand-context-context ctx) 'top-level)
31 (if (expand-context-to-parsed? ctx)
41 (unless (eq? (expand-context-context ctx) 'top-level)
47 (if (expand-context-to-parsed? ctx)
57 (unless (eq? (expand-context-context ctx) 'top-level)
81 (define lifts (get-and-clear-lifts! lift-ctx))
83 [(null? lifts)
86 (log-expand ctx 'module-lift-loop lifts)
87 (define beg (wrap-lifts-as-begin lifts #f (expand-context-phase trans-ctx)))
91 (if (expand-context-to-parsed? ctx)
[all …]
|
| H A D | main.rkt | 51 expand/capture-lifts
558 (define (expand/capture-lifts s ctx
559 #:expand-lifts? [expand-lifts? #f]
585 (expand-context-module-lifts ctx)
589 (define lifts (get-and-clear-lifts! (expand-context-lifts capture-ctx)))
595 (unless expand-lifts? (error "internal error: to-parsed mode without expanding lifts"))
603 [(or (not expand-lifts?) (null? lifts) (expand-context-to-parsed? ctx))
608 (log-expand ctx 'letlift-loop with-lifts-s)
624 #:expand-lifts? [expand-lifts? #t]
633 (expand/capture-lifts s trans-ctx
[all …]
|
| H A D | context.rkt | 42 (struct* expand-context root-expand-context
63 lifts ; #f or lift-context, which contains a list of lifteds
64 lift-envs ; list of box of env for lifts to locals
65 module-lifts ; lifted `module`s
66 require-lifts ; lifted `require`s
67 to-module-lifts ; lifted `provide` and end declarations
84 (expand-context (root-expand-context-self-mpi root-ctx)
114 #f ; lifts
116 #f ; module-lifts
117 #f ; require-lifts
[all …]
|
| H A D | syntax-local.rkt | 75 (expand-context-lifts ctx)
81 (expand-context-to-module-lifts ctx)
94 (expand-context-context ctx))
118 (expand-context-phase ctx)
243 (define lifts (expand-context-lifts ctx))
277 (define lifts (expand-context-module-lifts ctx))
278 (unless lifts
331 #:get-lift-ctx expand-context-require-lifts
340 (without-expand-context
352 #:get-lift-ctx expand-context-to-module-lifts
[all …]
|
| H A D | module.rkt | 285 (define initial-lifted-requires (get-require-lifts (expand-context-require-lifts ctx)))
730 (get-and-clear-end-lifts! (expand-context-to-module-lifts partial-body-ctx))
731 (get-and-clear-provide-lifts! (expand-context-to-module-lifts partial-body-ctx))))
746 (define lifted-defns (get-and-clear-lifts! (expand-context-lifts partial-body-ctx)))
747 …(define lifted-reqs (get-and-clear-require-lifts! (expand-context-require-lifts partial-body-ctx)))
748 … (define lifted-mods (get-and-clear-module-lifts! (expand-context-module-lifts partial-body-ctx)))
972 (get-and-clear-end-lifts! (expand-context-to-module-lifts body-ctx))
973 (get-and-clear-provide-lifts! (expand-context-to-module-lifts body-ctx))))
1035 (define lifted-defns (get-and-clear-lifts! (expand-context-lifts body-ctx)))
1038 (get-and-clear-require-lifts! (expand-context-require-lifts body-ctx)))
[all …]
|
| H A D | log.rkt | 2 (require "context.rkt")
4 (provide log-expand
5 log-expand*
6 log-expand...
7 ...log-expand)
12 (let ([obs (expand-context-observer ctx)])
24 (log-expand... ctx
116 (tag/context . 1)
123 (module-end-lifts . 1)
124 (module-pass1-lifts . 3)
[all …]
|
| H A D | root-expand-context.rkt | 10 (provide (struct*-out root-expand-context)
11 make-root-expand-context
16 root-expand-context-encode-for-module
17 root-expand-context-decode-for-module)
19 ;; A `root-expand-context` is a subset of `expand-context` that is
23 (struct* root-expand-context
35 lift-key ; identifies (via `syntax-local-lift-context`) a target for lifts
46 (root-expand-context self-mpi
85 (root-expand-context-frame-id ctx)
100 (error 'root-expand-context-decode-for-module
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/src/expander/eval/ |
| H A D | main.rkt | 10 "../expand/context.rkt"
12 [expand expand-in-context])
23 "../expand/lift-context.rkt"
147 (define ctx (make-expand-context ns
152 (define-values (require-lifts lifts exp-s) (expand-capturing-lifts s ctx))
181 (expand-capturing-lifts s (struct*-copy expand-context (make-expand-context ns)
215 (define ctx (make-expand-context ns #:observer observer))
218 (define tl-ctx (struct*-copy expand-context ctx
226 (expand-capturing-lifts s (struct*-copy expand-context tl-ctx
315 (define ns (expand-context-namespace ctx))
[all …]
|
| /dports/lang/racket/racket-8.3/src/expander/eval/ |
| H A D | main.rkt | 10 "../expand/context.rkt"
12 [expand expand-in-context])
23 "../expand/lift-context.rkt"
147 (define ctx (make-expand-context ns
152 (define-values (require-lifts lifts exp-s) (expand-capturing-lifts s ctx))
181 (expand-capturing-lifts s (struct*-copy expand-context (make-expand-context ns)
215 (define ctx (make-expand-context ns #:observer observer))
218 (define tl-ctx (struct*-copy expand-context ctx
226 (expand-capturing-lifts s (struct*-copy expand-context tl-ctx
315 (define ns (expand-context-namespace ctx))
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/src/expander/boot/ |
| H A D | core-primitive.rkt | 15 "../expand/set-bang-trans.rkt"
16 "../expand/rename-trans.rkt"
17 "../expand/liberal-def-ctx.rkt"
18 "../expand/syntax-local.rkt"
19 "../expand/definition-context.rkt"
20 "../expand/local-expand.rkt"
29 "../expand/allowed-context.rkt"
30 "../expand/missing-module.rkt")
131 syntax-transforming-with-lifts?
170 (protect local-expand/capture-lifts)
[all …]
|
| /dports/lang/racket/racket-8.3/src/expander/boot/ |
| H A D | core-primitive.rkt | 15 "../expand/set-bang-trans.rkt"
16 "../expand/rename-trans.rkt"
17 "../expand/liberal-def-ctx.rkt"
18 "../expand/syntax-local.rkt"
19 "../expand/definition-context.rkt"
20 "../expand/local-expand.rkt"
29 "../expand/allowed-context.rkt"
30 "../expand/missing-module.rkt")
131 syntax-transforming-with-lifts?
170 (protect local-expand/capture-lifts)
[all …]
|
| /dports/lang/racket/racket-8.3/share/pkgs/racket-doc/scribblings/reference/ |
| H A D | stx-trans.scrbl | 323 use-site scopes are recorded with the current expand context.
441 @defproc[(local-expand/capture-lifts
472 @defproc[(local-transformer-expand/capture-lifts
483 Like @racket[local-expand/capture-lifts], but @racket[stx] is expanded
508 The @racket[context-v] argument is as in @racket[local-expand], and the
712 @racket[local-expand] or as reported by @racket[syntax-local-context],
864 @racket[local-expand/capture-lifts] or
865 @racket[local-transformer-expand/capture-lifts].
869 @racket[syntax-transforming-with-lifts?].}
990 @tech{syntax transformer} call. See @secref["expand-context-model"]
[all …]
|
| /dports/lang/racket/racket-8.3/share/pkgs/macro-debugger-text-lib/macro-debugger/model/ |
| H A D | deriv-parser.rkt | 53 ;; src/eval/main.rkt expand and expand-to-top-form
81 (ECL ;; expand-capturing-lifts
90 ;; EE = src/expander/expand/main.rkt expand
92 ;; expand/capture-lifts from src/expander/expand/main.rkt
93 ;; Expand, convert lifts to let (rhs of define-syntaxes, mostly)
137 [(tag/context ?EE)
303 [(module-end-lifts ?ModulePass1)
310 [(EE module-pass1-lifts ?ModulePass1)
344 [(module-end-lifts ?ModulePass2)
358 [(EE Eval module-pass2-lifts
[all …]
|
| /dports/lang/racket/racket-8.3/share/pkgs/typed-racket-lib/typed-racket/typecheck/ |
| H A D | toplevel-trampoline.rkt | 75 (local-expand/capture* #'e 'top-level (kernel-form-identifier-list))))
97 ;; a non-begin form can still cause lifts, so still have to catch them
98 (disarm* (local-expand/capture* #'e 'top-level (list #'module*))))
101 ;; to the top-level because we're not catching lifts from macros at the
102 ;; top-level context but instead from expression context.
|