| /dports/lang/racket-minimal/racket-8.3/src/expander/expand/ |
| H A D | syntax-local.rkt | 49 syntax-local-lift-context
51 syntax-local-lift-module
53 syntax-local-lift-require
54 syntax-local-lift-provide
55 syntax-local-lift-module-end-declaration
271 (define/who (syntax-local-lift-module s)
291 (define (do-local-lift-to-module who s
324 (do-local-lift-to-module who
349 (do-local-lift-to-module who
363 (define/who (syntax-local-lift-module-end-declaration s)
[all …]
|
| H A D | lift-context.rkt | 2 (require "../syntax/syntax.rkt"
3 "../syntax/scope.rkt"
12 ;; Helpers to implement the consumer side of `syntax-local-lift-expression`,
13 ;; `syntax-local-lift-module`, etc. These structures are used by `syntax-local-...`
20 make-local-lift
75 (define (make-local-lift lift-env counter local-sym)
79 (define key (add-local-binding! id phase counter #:local-sym local-sym))
100 (datum->syntax
115 (datum->syntax
162 (raise-arguments-error 'syntax-local-lift-module
[all …]
|
| H A D | local-expand.rkt | 4 "../syntax/syntax.rkt"
6 "../syntax/scope.rkt"
9 "../namespace/module.rkt"
13 "syntax-local.rkt"
24 syntax-local-expand-expression)
29 (define (local-expand/capture-lifts s context stop-ids [intdefs #f] [lift-key (generate-lift-key)])
38 (define (local-transformer-expand/capture-lifts s context stop-ids [intdefs #f] [lift-key (generate…
44 (define (syntax-local-expand-expression s [opaque-only? #f])
45 (define exp-s (do-local-expand 'syntax-local-expand-expression s 'expression null #f
85 '(expression top-level module module-begin))))
[all …]
|
| H A D | log.rkt | 98 (lift-loop . 1)
100 (module-lift-loop . 1)
101 (module-lift-end-loop . 1)
102 (lift-expr . 3)
103 (lift-end-decl . 3)
104 (lift-require . 3)
105 (lift-provide . 1)
106 (lift-module . 2)
107 (enter-local . 1)
108 (local-pre . 1)
[all …]
|
| H A D | env.rkt | 4 "../syntax/syntax.rkt"
108 #:local-sym local-sym
119 …(add-binding-in-scopes! (syntax-scope-set id phase) sym (make-local-binding key #:frame-id frame-i…
137 (define (binding-lookup b env lift-envs ns phase id
142 (define top-level? (top-level-module-path-index? (module-binding-module b)))
144 (define m (and mi (module-instance-module mi)))
152 … (define insp (and mi (module-instance-module mi) (module-inspector (module-instance-module mi))))
159 ;; check in lift envs, if any
160 (for/or ([lift-env (in-list lift-envs)])
161 (lookup (unbox lift-env) (local-binding-key b) #f))
[all …]
|
| /dports/lang/racket/racket-8.3/src/expander/expand/ |
| H A D | syntax-local.rkt | 49 syntax-local-lift-context
51 syntax-local-lift-module
53 syntax-local-lift-require
54 syntax-local-lift-provide
55 syntax-local-lift-module-end-declaration
271 (define/who (syntax-local-lift-module s)
291 (define (do-local-lift-to-module who s
324 (do-local-lift-to-module who
349 (do-local-lift-to-module who
363 (define/who (syntax-local-lift-module-end-declaration s)
[all …]
|
| H A D | lift-context.rkt | 2 (require "../syntax/syntax.rkt"
3 "../syntax/scope.rkt"
12 ;; Helpers to implement the consumer side of `syntax-local-lift-expression`,
13 ;; `syntax-local-lift-module`, etc. These structures are used by `syntax-local-...`
20 make-local-lift
75 (define (make-local-lift lift-env counter local-sym)
79 (define key (add-local-binding! id phase counter #:local-sym local-sym))
100 (datum->syntax
115 (datum->syntax
162 (raise-arguments-error 'syntax-local-lift-module
[all …]
|
| H A D | local-expand.rkt | 4 "../syntax/syntax.rkt"
6 "../syntax/scope.rkt"
9 "../namespace/module.rkt"
13 "syntax-local.rkt"
24 syntax-local-expand-expression)
29 (define (local-expand/capture-lifts s context stop-ids [intdefs #f] [lift-key (generate-lift-key)])
38 (define (local-transformer-expand/capture-lifts s context stop-ids [intdefs #f] [lift-key (generate…
44 (define (syntax-local-expand-expression s [opaque-only? #f])
45 (define exp-s (do-local-expand 'syntax-local-expand-expression s 'expression null #f
85 '(expression top-level module module-begin))))
[all …]
|
| H A D | log.rkt | 98 (lift-loop . 1)
100 (module-lift-loop . 1)
101 (module-lift-end-loop . 1)
102 (lift-expr . 3)
103 (lift-end-decl . 3)
104 (lift-require . 3)
105 (lift-provide . 1)
106 (lift-module . 2)
107 (enter-local . 1)
108 (local-pre . 1)
[all …]
|
| H A D | env.rkt | 4 "../syntax/syntax.rkt"
108 #:local-sym local-sym
119 …(add-binding-in-scopes! (syntax-scope-set id phase) sym (make-local-binding key #:frame-id frame-i…
137 (define (binding-lookup b env lift-envs ns phase id
142 (define top-level? (top-level-module-path-index? (module-binding-module b)))
144 (define m (and mi (module-instance-module mi)))
152 … (define insp (and mi (module-instance-module mi) (module-inspector (module-instance-module mi))))
159 ;; check in lift envs, if any
160 (for/or ([lift-env (in-list lift-envs)])
161 (lookup (unbox lift-env) (local-binding-key b) #f))
[all …]
|
| /dports/lang/racket/racket-8.3/share/pkgs/macro-debugger-text-lib/macro-debugger/model/ |
| H A D | deriv-tokens.rkt | 51 module-body ; (list-of (cons syntax boolean))
54 module-lift-loop ; syntaxes = def-lifts, in reverse order lifted (???)
60 lift-module ; (list* Syntax Syntax) -- (list* orig renamed)
69 enter-local ; syntax
70 local-pre ; syntax
71 local-post ; syntax
72 exit-local ; syntax
91 local-artificial-step ; (list syntax syntax syntax syntax)
234 'module-lift-end-loop token-module-lift-end-loop
236 'module-lift-loop token-module-lift-loop
[all …]
|
| H A D | deriv-c.rkt | 54 ;; - (local-lift-expr Stx Stx Ids) -- orig, w/ scopes, ids
55 ;; - (local-lift-end Stx Stx Stx) -- orig, w/ scopes, wrapped
56 ;; - (local-lift-require Stx Stx Stx) -- wrapped-req, orig-use-s, renamed-use-s
57 ;; - (local-lift-provide Stx)
58 ;; - (local-lift-module Stx Stx) -- orig, renamed
66 (struct local-lift-expr (orig-expr renamed-expr ids) #:transparent)
67 (struct local-lift-end (orig renamed wrapped) #:transparent)
68 (struct local-lift-require (req expr mexpr) #:transparent)
69 (struct local-lift-provide (prov) #:transparent)
70 (struct local-lift-module (orig renamed) #:transparent)
[all …]
|
| H A D | deriv-parser.rkt | 172 [(lift-expr)
173 (match $1 [(list* ids orig-expr ren-expr) (make local-lift-expr orig-expr ren-expr ids)])]
175 (match $1 [(list* orig renamed wrapped) (make local-lift-end orig renamed wrapped)])]
179 (make local-lift-require wrapped-req orig-use renamed-use)])]
181 (make local-lift-provide $1)]
182 [(lift-module)
183 (match $1 [(list* orig renamed) (make local-lift-module orig renamed)])]
271 [(track-syntax ?EE track-syntax)
335 ;; module* : stop
358 [(EE Eval module-pass2-lifts
[all …]
|
| H A D | reductions.rkt | 431 [(local-lift-expr orig renamed ids)
433 [#:do (add-lift local)]
435 (walk/talk 'local-lift
448 (walk/talk 'local-lift
453 [(local-lift-module orig renamed)
459 (walk/talk 'local-lift
466 (R [#:do (add-lift local)]
468 (walk/talk 'local-lift
476 [(local-lift-provide prov)
478 (R [#:do (add-lift local)]
[all …]
|
| H A D | deriv-util.rkt | 63 (let ([value (syntax-local-value id (lambda () #f))])
109 [(lift-deriv z1 z2 first lift-stx second)
111 [(lift/let-deriv z1 z2 first lift-stx second)
117 [(local-exn exn) (void)]
120 [(local-lift-expr ids orig renamed) (void)]
121 [(local-lift-end orig renamed wrapped) (void)]
122 [(local-lift-require req expr mexpr) (void)]
123 [(local-lift-provide prov) (void)]
124 [(local-lift-module orig renamed) (void)]
131 [(p:module z1 z2 rs de1 ?1 prep rename ensure-mb body shift)
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/src/expander/boot/ |
| H A D | core-primitive.rkt | 133 syntax-local-transforming-module-provides?
149 syntax-local-lift-expression
150 syntax-local-lift-values-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
159 syntax-local-module-defined-identifiers
160 syntax-local-module-required-identifiers
[all …]
|
| /dports/lang/racket/racket-8.3/src/expander/boot/ |
| H A D | core-primitive.rkt | 133 syntax-local-transforming-module-provides?
149 syntax-local-lift-expression
150 syntax-local-lift-values-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
159 syntax-local-module-defined-identifiers
160 syntax-local-module-required-identifiers
[all …]
|
| /dports/lang/racket/racket-8.3/collects/racket/private/ |
| H A D | submodule.rkt | 2 (#%require (for-syntax '#%kernel
12 (case (syntax-local-context)
16 (syntax-case stx ()
25 ;; list and lift a module-end declaration if necessary:
28 (cons (append (reverse (syntax->list (syntax-local-introduce #'(e ...))))
37 (begin-for-syntax
40 ;; module-local:
43 (lambda (form-stx the-submodule-stx lift?)
46 (when lift?
47 (syntax-local-lift-module-end-declaration
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/collects/racket/private/ |
| H A D | submodule.rkt | 2 (#%require (for-syntax '#%kernel
12 (case (syntax-local-context)
16 (syntax-case stx ()
25 ;; list and lift a module-end declaration if necessary:
28 (cons (append (reverse (syntax->list (syntax-local-introduce #'(e ...))))
37 (begin-for-syntax
40 ;; module-local:
43 (lambda (form-stx the-submodule-stx lift?)
46 (when lift?
47 (syntax-local-lift-module-end-declaration
[all …]
|
| /dports/lang/racket/racket-8.3/share/pkgs/macro-debugger/tests/macro-debugger/helper/ |
| H A D | helper.rkt | 16 (with-syntax ([ee (local-expand #'e 'expression null)])
19 (define-syntax (lift stx) function
21 [(lift e)
22 (with-syntax ([v (syntax-local-lift-expression #'e)])
28 (with-syntax ([mk (syntax-local-lift-require
37 (syntax-local-lift-module #'mod)
44 (syntax-local-lift-module-end-declaration #'decl)
62 (define-syntax Tleid (syntax-local-value #'leid))
63 (define-syntax Tlift (syntax-local-value #'lift))
74 ;; (with-syntax ([v (syntax-local-lift-expression #'e)])
[all …]
|
| /dports/lang/racket/racket-8.3/collects/syntax/ |
| H A D | contract.rkt | 12 #:positive (or/c syntax? string? module-path-index?
14 #:negative (or/c syntax? string? module-path-index?
77 (define (okay-to-lift? ee)
90 [(eq? (syntax-local-context) 'expression)
94 (cond [(okay-to-lift? ctc-ee)
95 #`(#,(syntax-local-lift-expression
101 #`(#,(syntax-local-lift-expression
133 #:phase [phase (syntax-local-phase-level)])
154 [phase-shift (- phase (syntax-local-phase-level))]
166 ;; no need to lift for common phases, since we explicitly require them in this module
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/collects/syntax/ |
| H A D | contract.rkt | 12 #:positive (or/c syntax? string? module-path-index?
14 #:negative (or/c syntax? string? module-path-index?
77 (define (okay-to-lift? ee)
90 [(eq? (syntax-local-context) 'expression)
94 (cond [(okay-to-lift? ctc-ee)
95 #`(#,(syntax-local-lift-expression
101 #`(#,(syntax-local-lift-expression
133 #:phase [phase (syntax-local-phase-level)])
154 [phase-shift (- phase (syntax-local-phase-level))]
166 ;; no need to lift for common phases, since we explicitly require them in this module
[all …]
|
| /dports/lang/racket/racket-8.3/share/pkgs/macro-debugger/tests/macro-debugger/tests/ |
| H A D | syntax-modules.rkt | 210 (test "module k+helper, lift in pass1"
216 (remark local-lift 'a _)
235 (test "module k+helper, lift in pass2"
241 (remark local-lift 'a _)
265 (remark local-lift _)
284 (remark local-lift _)
303 (remark local-lift _)
322 (remark local-lift _)
341 (test "module k+helper, lift mod in pass1"
350 (remark local-lift _)
[all …]
|
| /dports/lang/racket/racket-8.3/share/pkgs/htdp-lib/stepper/private/ |
| H A D | lifting.rkt | 20 (provide/contract [lift (syntax? ; syntax to perform lifting in
28 (lift-local-defs context-records highlight lift-in-highlight?)))
66 [(module identifier name (#%plain-module-begin . module-level-exprs))
68 (syntax->list #'module-level-exprs)))]
172 (module+ test
241 (module+ test
249 …; lift-local-defs takes a list of contexts and an instruction and works its way out, reconstructin…
250 …; the main action of lift-local-defs is on let-values and letrec-values, where (after performing t…
252 ; [lift-local-defs (->* ((listof context-record?) syntax?)
255 (define (lift-local-defs ctx-list highlighted lift-in-highlighted?)
[all …]
|
| /dports/lang/racket/racket-8.3/share/pkgs/htdp-lib/2htdp/ |
| H A D | planetcute.rkt | 4 (for-syntax racket/syntax "private/planetcute-image-list.rkt")
5 (for-syntax racket/base))
7 (define-syntax (definitions stx)
19 (if (eq? 'expression (syntax-local-context))
21 (let* ([key (syntax-local-lift-context)]
26 ;; No: lift the require for the image:
27 … (syntax-local-lift-require `(rename (lib ,(format "~a.rkt" img) "2htdp" "planetcute") ,id ,img)
31 (with-syntax ([saved-id (syntax-local-introduce lifted-id)])
35 (raise-syntax-error
44 ;; In case of partial expansion for module-level and internal-defn
[all …]
|