| /dports/lang/racket-minimal/racket-8.3/src/expander/expand/ |
| H A D | lift-context.rkt | 16 (provide make-lift-context
26 make-module-lift-context
37 make-to-module-lift-context
64 (define (make-lift-context convert #:module*-ok? [module*-ok? #f])
148 (define (make-module-lift-context phase module*-ok?)
208 (define (make-to-module-lift-context phase
211 (to-module-lift-context phase
220 (box-clear! (to-module-lift-context-ends to-module-lifts)))
223 (box-clear! (to-module-lift-context-provides to-module-lifts)))
226 (box-cons! (to-module-lift-context-provides to-module-lifts)
[all …]
|
| H A D | syntax-local.rkt | 81 (expand-context-to-module-lifts ctx)
291 (define (do-local-lift-to-module who s
324 (do-local-lift-to-module who
349 (do-local-lift-to-module who
352 #:get-lift-ctx expand-context-to-module-lifts
353 #:get-wrt-phase to-module-lift-context-wrt-phase
356 (lambda (s phase to-module-lift-ctx)
359 (lambda (s phase to-module-lift-ctx)
365 (do-local-lift-to-module who
369 #:get-lift-ctx expand-context-to-module-lifts
[all …]
|
| H A D | top.rkt | 9 "../syntax/module-binding.rkt"
18 "lift-context.rkt"
31 (if (expand-context-to-parsed? ctx)
47 (if (expand-context-to-parsed? ctx)
62 (define lift-ctx (make-lift-context
63 (make-top-level-lift trans-ctx)))
65 [lift-key #:parent root-expand-context (generate-lift-key)]
86 (log-expand ctx 'module-lift-loop lifts)
91 (if (expand-context-to-parsed? ctx)
113 (make-requires+provides #f)
[all …]
|
| H A D | context.rkt | 17 make-expand-context
54 module-begin-k ; expander for `#%module-begin` in a 'module-begin context
64 lift-envs ; list of box of env for lifts to locals
77 (define (make-expand-context ns
93 (root-expand-context-lift-key root-ctx)
118 #f ; to-module-lifts
139 [lift-key #:parent root-expand-context (root-expand-context-lift-key root-ctx)]
176 ;; Adjusts `ctx` to make it suitable for a subexpression of the
188 ;; Adjusts `ctx` to make it suitable for a non-tail position
198 ;; Adjusts `ctx` (which should be an expression context) to make it
[all …]
|
| H A D | root-expand-context.rkt | 8 "lift-key.rkt")
11 make-root-expand-context
16 root-expand-context-encode-for-module
17 root-expand-context-decode-for-module)
26 …* post-expansion ; #f, a shifted multiscope to push to every expansion (often module's inside edg…
35 lift-key ; identifies (via `syntax-local-lift-context`) a target for lifts
36 )) ; after adding a field, update `copy-module-context` in "context.rkt"
38 (define (make-root-expand-context #:self-mpi self-mpi
83 … (for/hasheqv ([(phase ht) (in-hash (root-expand-context-defined-syms ctx))]) ; make immutable
100 (error 'root-expand-context-decode-for-module
[all …]
|
| H A D | local-expand.rkt | 9 "../namespace/module.rkt"
29 (define (local-expand/capture-lifts s context stop-ids [intdefs #f] [lift-key (generate-lift-key)])
32 #:lift-key lift-key))
38 …define (local-transformer-expand/capture-lifts s context stop-ids [intdefs #f] [lift-key (generate…
71 #:to-parsed-ok? [to-parsed-ok? #f]
76 #:track-to-be-defined? [track-to-be-defined? #f]
85 '(expression top-level module module-begin))))
89 "(or/c 'expression 'top-level 'module 'module-begin list?)")
102 (define local-ctx (make-local-expand-context ctx
107 #:to-parsed-ok? to-parsed-ok?
[all …]
|
| H A D | main.rkt | 29 "lift-context.rkt"
247 (define (make-explicit ctx sym s)
517 (expand-context-lift-envs ctx)
569 (define lift-ctx (make-lift-context
571 (make-local-lift lift-env
574 (make-top-level-lift ctx))
575 #:module*-ok? (and (not local?) (eq? context 'module))))
577 [lift-key #:parent root-expand-context lift-key]
611 ;; [*] Although `(memq context '(top-level module))` makes more sense
615 ;; that are splcied into a module context --- leading to an
[all …]
|
| /dports/lang/racket/racket-8.3/src/expander/expand/ |
| H A D | lift-context.rkt | 16 (provide make-lift-context
26 make-module-lift-context
37 make-to-module-lift-context
64 (define (make-lift-context convert #:module*-ok? [module*-ok? #f])
148 (define (make-module-lift-context phase module*-ok?)
208 (define (make-to-module-lift-context phase
211 (to-module-lift-context phase
220 (box-clear! (to-module-lift-context-ends to-module-lifts)))
223 (box-clear! (to-module-lift-context-provides to-module-lifts)))
226 (box-cons! (to-module-lift-context-provides to-module-lifts)
[all …]
|
| H A D | syntax-local.rkt | 81 (expand-context-to-module-lifts ctx)
291 (define (do-local-lift-to-module who s
324 (do-local-lift-to-module who
349 (do-local-lift-to-module who
352 #:get-lift-ctx expand-context-to-module-lifts
353 #:get-wrt-phase to-module-lift-context-wrt-phase
356 (lambda (s phase to-module-lift-ctx)
359 (lambda (s phase to-module-lift-ctx)
365 (do-local-lift-to-module who
369 #:get-lift-ctx expand-context-to-module-lifts
[all …]
|
| H A D | top.rkt | 9 "../syntax/module-binding.rkt"
18 "lift-context.rkt"
31 (if (expand-context-to-parsed? ctx)
47 (if (expand-context-to-parsed? ctx)
62 (define lift-ctx (make-lift-context
63 (make-top-level-lift trans-ctx)))
65 [lift-key #:parent root-expand-context (generate-lift-key)]
86 (log-expand ctx 'module-lift-loop lifts)
91 (if (expand-context-to-parsed? ctx)
113 (make-requires+provides #f)
[all …]
|
| H A D | context.rkt | 17 make-expand-context
54 module-begin-k ; expander for `#%module-begin` in a 'module-begin context
64 lift-envs ; list of box of env for lifts to locals
77 (define (make-expand-context ns
93 (root-expand-context-lift-key root-ctx)
118 #f ; to-module-lifts
139 [lift-key #:parent root-expand-context (root-expand-context-lift-key root-ctx)]
176 ;; Adjusts `ctx` to make it suitable for a subexpression of the
188 ;; Adjusts `ctx` to make it suitable for a non-tail position
198 ;; Adjusts `ctx` (which should be an expression context) to make it
[all …]
|
| H A D | root-expand-context.rkt | 8 "lift-key.rkt")
11 make-root-expand-context
16 root-expand-context-encode-for-module
17 root-expand-context-decode-for-module)
26 …* post-expansion ; #f, a shifted multiscope to push to every expansion (often module's inside edg…
35 lift-key ; identifies (via `syntax-local-lift-context`) a target for lifts
36 )) ; after adding a field, update `copy-module-context` in "context.rkt"
38 (define (make-root-expand-context #:self-mpi self-mpi
83 … (for/hasheqv ([(phase ht) (in-hash (root-expand-context-defined-syms ctx))]) ; make immutable
100 (error 'root-expand-context-decode-for-module
[all …]
|
| H A D | local-expand.rkt | 9 "../namespace/module.rkt"
29 (define (local-expand/capture-lifts s context stop-ids [intdefs #f] [lift-key (generate-lift-key)])
32 #:lift-key lift-key))
38 …define (local-transformer-expand/capture-lifts s context stop-ids [intdefs #f] [lift-key (generate…
71 #:to-parsed-ok? [to-parsed-ok? #f]
76 #:track-to-be-defined? [track-to-be-defined? #f]
85 '(expression top-level module module-begin))))
89 "(or/c 'expression 'top-level 'module 'module-begin list?)")
102 (define local-ctx (make-local-expand-context ctx
107 #:to-parsed-ok? to-parsed-ok?
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/src/expander/boot/ |
| H A D | core-primitive.rkt | 75 identifier-prune-to-source-module
121 make-exn:fail:filesystem:missing-module
126 make-exn:fail:syntax:missing-module
149 syntax-local-lift-expression
151 syntax-local-lift-context
153 syntax-local-lift-module
155 syntax-local-lift-require
156 syntax-local-lift-provide
157 syntax-local-lift-module-end-declaration
176 syntax-local-make-definition-context
[all …]
|
| /dports/lang/racket/racket-8.3/src/expander/boot/ |
| H A D | core-primitive.rkt | 75 identifier-prune-to-source-module
121 make-exn:fail:filesystem:missing-module
126 make-exn:fail:syntax:missing-module
149 syntax-local-lift-expression
151 syntax-local-lift-context
153 syntax-local-lift-module
155 syntax-local-lift-require
156 syntax-local-lift-provide
157 syntax-local-lift-module-end-declaration
176 syntax-local-make-definition-context
[all …]
|
| /dports/lang/racket/racket-8.3/share/pkgs/htdp-lib/stepper/private/ |
| H A D | lifting.rkt | 13 ; context-records are used to represent syntax context frames. That is,
20 (provide/contract [lift (syntax? ; syntax to perform lifting in
28 (lift-local-defs context-records highlight lift-in-highlight?)))
38 (define (make-try-all-subexprs stx kind context-so-far)
44 … ((car try) (cadr try) (cons (make-context-record stx corrected-index kind) context-so-far))
63 (let ([try (try->offset-try (make-try-all-subexprs stx 'top-level context-so-far))])
66 [(module identifier name (#%plain-module-begin . module-level-exprs))
74 (define (module-level-expr-iterator stx context-so-far)
106 (let* ([try (make-try-all-subexprs stx 'expr context-so-far)]
307 (list (make-context-record #'(dc 14) '(0) 'expr)
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/src/expander/eval/ |
| H A D | main.rkt | 6 "../namespace/module.rkt"
17 "module.rkt"
23 "../expand/lift-context.rkt"
110 (compile-module exp-s (make-compile-context #:namespace ns)
121 (compile-top exp-s (make-compile-context #:namespace ns)
147 (define ctx (make-expand-context ns
181 (expand-capturing-lifts s (struct*-copy expand-context (make-expand-context ns)
215 (define ctx (make-expand-context ns #:observer observer))
318 (define lift-ctx (make-lift-context (make-top-level-lift ctx)))
319 (define require-lift-ctx (make-require-lift-context
[all …]
|
| /dports/lang/racket/racket-8.3/src/expander/eval/ |
| H A D | main.rkt | 6 "../namespace/module.rkt"
17 "module.rkt"
23 "../expand/lift-context.rkt"
110 (compile-module exp-s (make-compile-context #:namespace ns)
121 (compile-top exp-s (make-compile-context #:namespace ns)
147 (define ctx (make-expand-context ns
181 (expand-capturing-lifts s (struct*-copy expand-context (make-expand-context ns)
215 (define ctx (make-expand-context ns #:observer observer))
318 (define lift-ctx (make-lift-context (make-top-level-lift ctx)))
319 (define require-lift-ctx (make-require-lift-context
[all …]
|
| /dports/lang/racket/racket-8.3/collects/syntax/ |
| H A D | contract.rkt | 18 #:context (or/c syntax? #f)
28 make-apply-contract)
38 (make-contract
52 (make-contract
77 (define (okay-to-lift? ee)
90 [(eq? (syntax-local-context) 'expression)
94 (cond [(okay-to-lift? ctc-ee)
121 ;; Allow phase shift of 0 or 1 without needing to lift requires
132 #:context [ctx (current-syntax-context)]
153 [introduce (make-syntax-introducer)]
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/collects/syntax/ |
| H A D | contract.rkt | 18 #:context (or/c syntax? #f)
28 make-apply-contract)
38 (make-contract
52 (make-contract
77 (define (okay-to-lift? ee)
90 [(eq? (syntax-local-context) 'expression)
94 (cond [(okay-to-lift? ctc-ee)
121 ;; Allow phase shift of 0 or 1 without needing to lift requires
132 #:context [ctx (current-syntax-context)]
153 [introduce (make-syntax-introducer)]
[all …]
|
| /dports/lang/racket/racket-8.3/share/pkgs/htdp-lib/2htdp/ |
| H A D | planetcute.rkt | 15 (define-for-syntax (make-planetcute-transformer img)
16 (make-set!-transformer
17 (let ([saved-id-table (make-hasheq)])
19 (if (eq? 'expression (syntax-local-context))
20 ;; In an expression context:
21 (let* ([key (syntax-local-lift-context)]
23 ;; Already lifted in this lifting context?
26 ;; No: lift the require for the image:
30 ;; Expand to a use of the lifted expression:
44 ;; In case of partial expansion for module-level and internal-defn
[all …]
|
| /dports/lang/racket/racket-8.3/collects/racket/private/ |
| H A D | submodule.rkt | 24 ;; This looks it up the first time and is allowed to create a
25 ;; list and lift a module-end declaration if necessary:
41 (define-values (submodule->stxs-box) (make-weak-hash))
43 (lambda (form-stx the-submodule-stx lift?)
46 (when lift?
47 (syntax-local-lift-module-end-declaration
48 ;; Use the lexical context of the first `module+'
49 ;; form as the context of the implicit `#%module-begin':
56 ;; A use of this form is lifted to the end of the enclosing module
63 ;; Propagate the lexical context of the first `module+'
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/collects/racket/private/ |
| H A D | submodule.rkt | 24 ;; This looks it up the first time and is allowed to create a
25 ;; list and lift a module-end declaration if necessary:
41 (define-values (submodule->stxs-box) (make-weak-hash))
43 (lambda (form-stx the-submodule-stx lift?)
46 (when lift?
47 (syntax-local-lift-module-end-declaration
48 ;; Use the lexical context of the first `module+'
49 ;; form as the context of the implicit `#%module-begin':
56 ;; A use of this form is lifted to the end of the enclosing module
63 ;; Propagate the lexical context of the first `module+'
[all …]
|
| /dports/lang/racket/racket-8.3/share/pkgs/racket-doc/scribblings/reference/ |
| H A D | stx-trans.scrbl | 178 Returns the identifier passed to @racket[make-rename-transformer] to
458 @racket[syntax-local-lift-context] during local expansion. The lifted
464 @racket[syntax-local-lift-module]. If @racket[context-v] is
526 @defproc[(syntax-local-make-definition-context
626 @racket[syntax-local-make-definition-context].
854 lift. Similarly, a run-time expression outside of a module is lifted
881 @defproc[(syntax-local-lift-context)
889 for caching lift information to avoid redundant lifts.
894 @defproc[(syntax-local-lift-module [stx syntax?])
903 @racket[syntax-local-lift-module] returns. Instead, the module
[all …]
|
| /dports/lang/racket/racket-8.3/share/pkgs/macro-debugger-text-lib/macro-debugger/model/ |
| H A D | deriv-tokens.rkt | 54 module-lift-loop ; syntaxes = def-lifts, in reverse order lifted (???)
60 lift-module ; (list* Syntax Syntax) -- (list* orig renamed)
80 tag/context ; Syntax
137 ;; ** Events to tokens
183 'tag/context token-tag/context
234 'module-lift-end-loop token-module-lift-end-loop
236 'module-lift-loop token-module-lift-loop
248 'lift-module token-lift-module
257 => (lambda (make-token)
258 (cond [(and (procedure? make-token)
[all …]
|