| /dports/lang/racket-minimal/racket-8.3/src/expander/expand/ |
| H A D | context.rkt | 19 current-expand-context
20 get-current-expand-context
23 current-expand-observe
143 (define-parameter-like current-expand-context #f)
145 (define (get-current-expand-context [who 'unexpected]
147 (or (force (current-expand-context))
154 #:with ([current-expand-context #f])
163 (define current-expand-observe (make-parameter #f
172 'current-expand-observe))
177 ;; current context
[all …]
|
| H A D | syntax-local.rkt | 70 (and (get-current-expand-context #:fail-ok? #t) #t))
93 (define ctx (get-current-expand-context 'syntax-local-context))
122 (define ctx (get-current-expand-context who))
192 (define current-ctx (get-current-expand-context who))
242 (define ctx (get-current-expand-context who))
266 (define ctx (get-current-expand-context who))
273 (define ctx (get-current-expand-context who))
304 (define ctx (get-current-expand-context who))
456 (define ctx (get-current-expand-context who))
466 (void (get-current-expand-context who))
[all …]
|
| H A D | apply-transformer.rkt | 24 ;; the `local-expand`-like bits are in this function
49 (define ctx (get-current-expand-context who))
51 (define local-ctx (make-local-expand-context
68 (without-expand-context
85 (let ([binding (resolve+shift binding-id (expand-context-phase ctx)
123 (define m-ctx (struct*-copy expand-context ctx
125 [current-use-scopes use-scopes]))
129 (expand-context-namespace ctx)
130 (add1 (expand-context-phase ctx)))])
132 #:with ([current-expand-context m-ctx]
[all …]
|
| H A D | main.rkt | 232 " extra bindings or scopes in the current context")
308 ;; in the current context, whether to expand just once, etc.
313 (define adj-s (avoid-current-expand-context (substitute-alternate-id s id) t ctx))
388 ;; Call the transformer; the current expansion context may be needed
438 #:with ([current-expand-context m-ctx]
439 [current-module-code-inspector (or insp-of-t #;(current-module-code-inspector))])
476 (and current-frame-id
707 #:with ([current-expand-context ctx])
808 #:with ([current-expand-context ctx])
812 ;; current expansion context is available while installing a
[all …]
|
| H A D | allowed-context.rkt | 6 "context.rkt"
11 not-in-this-expand-context?
12 avoid-current-expand-context)
27 (define (not-in-this-expand-context? t ctx)
29 (not (memq (context->symbol (expand-context-context ctx))
32 (define (context->symbol context)
34 context
37 (define (avoid-current-expand-context s t ctx)
41 (expand-context-phase ctx))
47 (context->symbol (expand-context-context ctx)))
[all …]
|
| H A D | definition-context.rkt | 30 make-local-expand-context
58 (define ctx (get-current-expand-context 'syntax-local-make-definition-context))
85 (define ctx (get-current-expand-context 'local-expand))
87 (define phase (expand-context-phase ctx))
111 (make-local-expand-context (struct*-copy expand-context ctx
161 (define ctx (get-current-expand-context #:fail-ok? #t))
277 (define (make-local-expand-context ctx
293 (struct*-copy expand-context ctx
346 [current-introduction-scopes null]
362 (flip-scopes s (expand-context-current-introduction-scopes ctx)))
[all …]
|
| H A D | local-expand.rkt | 26 (define (local-expand s context stop-ids [intdefs #f])
27 (do-local-expand 'local-expand s context stop-ids intdefs))
30 (do-local-expand 'local-expand s context stop-ids intdefs
35 (do-local-expand 'local-expand s context stop-ids intdefs
39 (do-local-expand 'local-expand s context stop-ids intdefs
50 (define ctx (get-current-expand-context))
98 (define ctx (get-current-expand-context who))
101 (expand-context-phase ctx)))
102 (define local-ctx (make-local-expand-context ctx
113 (without-expand-context
[all …]
|
| /dports/lang/racket/racket-8.3/src/expander/expand/ |
| H A D | context.rkt | 19 current-expand-context
20 get-current-expand-context
23 current-expand-observe
143 (define-parameter-like current-expand-context #f)
145 (define (get-current-expand-context [who 'unexpected]
147 (or (force (current-expand-context))
154 #:with ([current-expand-context #f])
163 (define current-expand-observe (make-parameter #f
172 'current-expand-observe))
177 ;; current context
[all …]
|
| H A D | syntax-local.rkt | 70 (and (get-current-expand-context #:fail-ok? #t) #t))
93 (define ctx (get-current-expand-context 'syntax-local-context))
122 (define ctx (get-current-expand-context who))
192 (define current-ctx (get-current-expand-context who))
242 (define ctx (get-current-expand-context who))
266 (define ctx (get-current-expand-context who))
273 (define ctx (get-current-expand-context who))
304 (define ctx (get-current-expand-context who))
456 (define ctx (get-current-expand-context who))
466 (void (get-current-expand-context who))
[all …]
|
| H A D | apply-transformer.rkt | 24 ;; the `local-expand`-like bits are in this function
49 (define ctx (get-current-expand-context who))
51 (define local-ctx (make-local-expand-context
68 (without-expand-context
85 (let ([binding (resolve+shift binding-id (expand-context-phase ctx)
123 (define m-ctx (struct*-copy expand-context ctx
125 [current-use-scopes use-scopes]))
129 (expand-context-namespace ctx)
130 (add1 (expand-context-phase ctx)))])
132 #:with ([current-expand-context m-ctx]
[all …]
|
| H A D | main.rkt | 232 " extra bindings or scopes in the current context")
308 ;; in the current context, whether to expand just once, etc.
313 (define adj-s (avoid-current-expand-context (substitute-alternate-id s id) t ctx))
388 ;; Call the transformer; the current expansion context may be needed
438 #:with ([current-expand-context m-ctx]
439 [current-module-code-inspector (or insp-of-t #;(current-module-code-inspector))])
476 (and current-frame-id
707 #:with ([current-expand-context ctx])
808 #:with ([current-expand-context ctx])
812 ;; current expansion context is available while installing a
[all …]
|
| H A D | allowed-context.rkt | 6 "context.rkt"
11 not-in-this-expand-context?
12 avoid-current-expand-context)
27 (define (not-in-this-expand-context? t ctx)
29 (not (memq (context->symbol (expand-context-context ctx))
32 (define (context->symbol context)
34 context
37 (define (avoid-current-expand-context s t ctx)
41 (expand-context-phase ctx))
47 (context->symbol (expand-context-context ctx)))
[all …]
|
| H A D | definition-context.rkt | 30 make-local-expand-context
58 (define ctx (get-current-expand-context 'syntax-local-make-definition-context))
85 (define ctx (get-current-expand-context 'local-expand))
87 (define phase (expand-context-phase ctx))
111 (make-local-expand-context (struct*-copy expand-context ctx
161 (define ctx (get-current-expand-context #:fail-ok? #t))
277 (define (make-local-expand-context ctx
293 (struct*-copy expand-context ctx
346 [current-introduction-scopes null]
362 (flip-scopes s (expand-context-current-introduction-scopes ctx)))
[all …]
|
| H A D | local-expand.rkt | 26 (define (local-expand s context stop-ids [intdefs #f])
27 (do-local-expand 'local-expand s context stop-ids intdefs))
30 (do-local-expand 'local-expand s context stop-ids intdefs
35 (do-local-expand 'local-expand s context stop-ids intdefs
39 (do-local-expand 'local-expand s context stop-ids intdefs
50 (define ctx (get-current-expand-context))
98 (define ctx (get-current-expand-context who))
101 (expand-context-phase ctx)))
102 (define local-ctx (make-local-expand-context ctx
113 (without-expand-context
[all …]
|
| /dports/lang/racket/racket-8.3/share/pkgs/racket-doc/scribblings/reference/ |
| H A D | stx-expand.scrbl | 8 [insp inspector? (current-code-inspector)])
21 value of @racket[(current-code-inspector)] when Racket starts), then
27 (parameterize ([current-namespace (make-base-namespace)])
28 (expand
39 (parameterize ([current-namespace
41 (expand
50 [insp inspector? (current-code-inspector)])
61 [insp inspector? (current-code-inspector)])
81 [insp inspector? (current-code-inspector)])
92 [insp inspector? (current-code-inspector)])
[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"
18 "../expand/syntax-local.rkt"
19 "../expand/definition-context.rkt"
20 "../expand/local-expand.rkt"
29 "../expand/allowed-context.rkt"
115 current-module-path-for-load
212 (protect current-module-name-resolver)
213 current-module-declare-name
214 current-module-declare-source
[all …]
|
| H A D | expobs-primitive.rkt | 2 (require "../expand/context.rkt"
3 "../expand/syntax-local.rkt")
8 (hasheq 'current-expand-observe current-expand-observe
9 'syntax-local-expand-observer syntax-local-expand-observer))
|
| /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"
18 "../expand/syntax-local.rkt"
19 "../expand/definition-context.rkt"
20 "../expand/local-expand.rkt"
29 "../expand/allowed-context.rkt"
115 current-module-path-for-load
212 (protect current-module-name-resolver)
213 current-module-declare-name
214 current-module-declare-source
[all …]
|
| H A D | expobs-primitive.rkt | 2 (require "../expand/context.rkt"
3 "../expand/syntax-local.rkt")
8 (hasheq 'current-expand-observe current-expand-observe
9 'syntax-local-expand-observer syntax-local-expand-observer))
|
| /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"
134 (parameterize ([current-expand-observe #f])
147 (define ctx (make-expand-context ns
171 (define (expand-once s [ns (current-namespace)])
181 (expand-capturing-lifts s (struct*-copy expand-context (make-expand-context ns)
190 (define (expand-to-top-form s [ns (current-namespace)])
193 (define observer (current-expand-observe))
195 (parameterize ([current-expand-observe #f])
[all …]
|
| H A D | module.rkt | 18 "../expand/context.rkt"
19 "../expand/root-expand-context.rkt"
103 (define create-root-expand-context-from-module ; might be used to create root-expand-context
104 (make-create-root-expand-context-from-module requires phases-h))
224 #:with ([current-expand-context (delay (make-expand-context
264 create-root-expand-context-from-module)
294 (namespace-set-root-expand-ctx! ns (delay (shift-to-inside-root-context
297 ;; Root expand context has been preserved; deserialize it on demand
298 (namespace-set-root-expand-ctx! ns (delay (shift-to-inside-root-context
303 ;; Root expand context has not been preserved, because it can be reconstructed
[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"
134 (parameterize ([current-expand-observe #f])
147 (define ctx (make-expand-context ns
171 (define (expand-once s [ns (current-namespace)])
181 (expand-capturing-lifts s (struct*-copy expand-context (make-expand-context ns)
190 (define (expand-to-top-form s [ns (current-namespace)])
193 (define observer (current-expand-observe))
195 (parameterize ([current-expand-observe #f])
[all …]
|
| H A D | module.rkt | 18 "../expand/context.rkt"
19 "../expand/root-expand-context.rkt"
103 (define create-root-expand-context-from-module ; might be used to create root-expand-context
104 (make-create-root-expand-context-from-module requires phases-h))
224 #:with ([current-expand-context (delay (make-expand-context
264 create-root-expand-context-from-module)
294 (namespace-set-root-expand-ctx! ns (delay (shift-to-inside-root-context
297 ;; Root expand context has been preserved; deserialize it on demand
298 (namespace-set-root-expand-ctx! ns (delay (shift-to-inside-root-context
303 ;; Root expand context has not been preserved, because it can be reconstructed
[all …]
|
| /dports/lang/racket/racket-8.3/src/expander/namespace/ |
| H A D | api.rkt | 17 "../expand/require+provide.rkt"
18 "../expand/context.rkt"
19 "../expand/require.rkt"
22 "../expand/protect.rkt"
23 "../expand/env.rkt"
50 (define current-ns (current-namespace))
64 (define post-scope (post-expansion-scope (root-expand-context-post-expansion root-ctx)))
67 … (syntax-scope-set (root-expand-context-all-scopes-stx root-ctx)
74 (root-expand-context-all-scopes-stx root-ctx)
122 (root-expand-context-module-scopes
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/src/expander/namespace/ |
| H A D | api.rkt | 17 "../expand/require+provide.rkt"
18 "../expand/context.rkt"
19 "../expand/require.rkt"
22 "../expand/protect.rkt"
23 "../expand/env.rkt"
50 (define current-ns (current-namespace))
64 (define post-scope (post-expansion-scope (root-expand-context-post-expansion root-ctx)))
67 … (syntax-scope-set (root-expand-context-all-scopes-stx root-ctx)
74 (root-expand-context-all-scopes-stx root-ctx)
122 (root-expand-context-module-scopes
[all …]
|