| /dports/lang/racket/racket-8.3/src/expander/expand/ |
| H A D | local-expand.rkt | 4 "../syntax/syntax.rkt"
6 "../syntax/scope.rkt"
7 "../syntax/binding.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)])
32 #:lift-key lift-key))
38 (define (local-transformer-expand/capture-lifts s context stop-ids [intdefs #f] [lift-key (generate…
42 #:lift-key lift-key))
44 (define (syntax-local-expand-expression s [opaque-only? #f])
[all …]
|
| H A D | syntax-local.rkt | 47 syntax-local-lift-expression
48 syntax-local-lift-values-expression
49 syntax-local-lift-context
51 syntax-local-lift-module
53 syntax-local-lift-require
54 syntax-local-lift-provide
239 (define (do-lift-values-expression who n s)
259 (define/who (syntax-local-lift-expression s)
260 (car (do-lift-values-expression who 1 s)))
262 (define/who (syntax-local-lift-values-expression n s)
[all …]
|
| H A D | context.rkt | 5 "../syntax/syntax.rkt"
6 "../syntax/scope.rkt"
7 "../syntax/binding.rkt"
8 "../syntax/error.rkt"
13 "lift-key.rkt")
47 * env ; environment for local bindings
57 in-local-expand? ; #t via `local-expand`
58 keep-#%expression? ; if `in-local-expand?`, keep `#%expression` forms
108 #f ; in-local-expand?
115 '() ; lift-envs
[all …]
|
| H A D | log.rkt | 98 (lift-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)
109 (local-post . 1)
110 (exit-local . 1)
[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 …]
|
| /dports/lang/racket-minimal/racket-8.3/src/expander/expand/ |
| H A D | local-expand.rkt | 4 "../syntax/syntax.rkt"
6 "../syntax/scope.rkt"
7 "../syntax/binding.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)])
32 #:lift-key lift-key))
38 (define (local-transformer-expand/capture-lifts s context stop-ids [intdefs #f] [lift-key (generate…
42 #:lift-key lift-key))
44 (define (syntax-local-expand-expression s [opaque-only? #f])
[all …]
|
| H A D | syntax-local.rkt | 47 syntax-local-lift-expression
48 syntax-local-lift-values-expression
49 syntax-local-lift-context
51 syntax-local-lift-module
53 syntax-local-lift-require
54 syntax-local-lift-provide
239 (define (do-lift-values-expression who n s)
259 (define/who (syntax-local-lift-expression s)
260 (car (do-lift-values-expression who 1 s)))
262 (define/who (syntax-local-lift-values-expression n s)
[all …]
|
| H A D | context.rkt | 5 "../syntax/syntax.rkt"
6 "../syntax/scope.rkt"
7 "../syntax/binding.rkt"
8 "../syntax/error.rkt"
13 "lift-key.rkt")
47 * env ; environment for local bindings
57 in-local-expand? ; #t via `local-expand`
58 keep-#%expression? ; if `in-local-expand?`, keep `#%expression` forms
108 #f ; in-local-expand?
115 '() ; lift-envs
[all …]
|
| H A D | log.rkt | 98 (lift-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)
109 (local-post . 1)
110 (exit-local . 1)
[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 …]
|
| /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))
68 ;; (with-syntax ([ee (local-expand #'e 'expression null)])
[all …]
|
| /dports/lang/racket/racket-8.3/share/pkgs/web-server-lib/web-server/lang/ |
| H A D | closure.rkt | 3 syntax/free-vars
4 racket/syntax
13 (syntax-local-lift-expression
17 (syntax-local-lift-expression
21 (syntax-local-lift-expression
26 (syntax-local-lift-expression
47 (syntax-local-lift-expression
67 (or (syntax-local-name) (generate-temporary)))
72 (syntax-local-lift-values-expression
108 (syntax-local-lift-provide
[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")
7 (define-syntax (definitions stx)
19 (if (eq? 'expression (syntax-local-context))
20 ;; In an expression 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)
30 ;; Expand to a use of the lifted expression:
31 (with-syntax ([saved-id (syntax-local-introduce lifted-id)])
45 ;; contexts, delay expansion until it's a good time to lift
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/src/expander/boot/ |
| H A D | core-primitive.rkt | 18 "../expand/syntax-local.rkt"
132 syntax-transforming-module-expression?
139 syntax-local-name
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
[all …]
|
| /dports/lang/racket/racket-8.3/src/expander/boot/ |
| H A D | core-primitive.rkt | 18 "../expand/syntax-local.rkt"
132 syntax-transforming-module-expression?
139 syntax-local-name
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
[all …]
|
| /dports/lang/racket/racket-8.3/share/pkgs/macro-debugger-text-lib/macro-debugger/model/ |
| H A D | deriv-tokens.rkt | 52 lift-loop ; syntax = new form (let or begin; let if for_stx)
69 enter-local ; syntax
70 local-pre ; syntax
71 local-post ; syntax
72 exit-local ; syntax
90 local-remark ; (listof (U string syntax))
91 local-artificial-step ; (list syntax syntax syntax syntax)
128 prim-#%expression
217 'prim-#%expression token-prim-#%expression
227 'lift-loop token-lift-loop
[all …]
|
| H A D | deriv-parser.rkt | 119 ;; Expand expression (term)
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)]
183 (match $1 [(list* orig renamed) (make local-lift-module orig renamed)])]
271 [(track-syntax ?EE track-syntax)
461 [(prim-#%expression ! ?EE)
462 (make p:#%expression e1 e2 rs $1 $2 $3 #f)]
463 [(prim-#%expression EE tag)
[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
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)
101 ;; - (p:#%expression <Base> Deriv Stx/#f)
[all …]
|
| /dports/lang/racket/racket-8.3/collects/syntax/ |
| H A D | contract.rkt | 77 (define (okay-to-lift? ee)
90 [(eq? (syntax-local-context) 'expression)
93 (let ([ctc-ee (local-expand #'ctc-expr 'expression null)])
94 (cond [(okay-to-lift? ctc-ee)
95 #`(#,(syntax-local-lift-expression
101 #`(#,(syntax-local-lift-expression
108 [else #`(#%expression #,stx)]))
133 #:phase [phase (syntax-local-phase-level)])
154 [phase-shift (- phase (syntax-local-phase-level))]
174 … (syntax-local-introduce (syntax-local-lift-require (syntax-local-introduce phased-require-spec)
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/collects/syntax/ |
| H A D | contract.rkt | 77 (define (okay-to-lift? ee)
90 [(eq? (syntax-local-context) 'expression)
93 (let ([ctc-ee (local-expand #'ctc-expr 'expression null)])
94 (cond [(okay-to-lift? ctc-ee)
95 #`(#,(syntax-local-lift-expression
101 #`(#,(syntax-local-lift-expression
108 [else #`(#%expression #,stx)]))
133 #:phase [phase (syntax-local-phase-level)])
154 [phase-shift (- phase (syntax-local-phase-level))]
174 … (syntax-local-introduce (syntax-local-lift-require (syntax-local-introduce phased-require-spec)
[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?)))
31 ; Accepts a syntax expression where one subexpression is highlighted: that is, has the
212 ; substitute-in-syntax takes a syntax expression (which must be a proper syntax list) and a path
213 ; (represented by a list of numbers) and a syntax-expression to insert. If the path is null, the
214 ; 'to-insert' expression is returned. Otherwise, the nth element of the syntax-list is replaced
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/macro-debugger/tests/macro-debugger/tests/ |
| H A D | syntax-modules.rkt | 216 (remark local-lift 'a _)
221 (#%expression _))))
227 (#%expression _))))
241 (remark local-lift 'a _)
265 (remark local-lift _)
284 (remark local-lift _)
303 (remark local-lift _)
322 (remark local-lift _)
333 (#%expression x))))
350 (remark local-lift _)
[all …]
|
| /dports/lang/racket/racket-8.3/share/pkgs/racket-doc/scribblings/reference/ |
| H A D | stx-trans.scrbl | 427 @racket[syntax-local-lift-expression] during the expansion of
454 calls to @racket[syntax-local-lift-expression] during the expansion of
844 @defproc[(syntax-local-lift-expression [stx syntax?])
871 @defproc[(syntax-local-lift-values-expression [n exact-nonnegative-integer?] [stx syntax?])
874 Like @racket[syntax-local-lift-expression], but binds the result to
881 @defproc[(syntax-local-lift-context)
885 @racket[syntax-local-lift-expression]. That is, for different
894 @defproc[(syntax-local-lift-module [stx syntax?])
1121 (via @racket[syntax-local-lift-expression]), @racket[#f] otherwise.
1543 as @racket[syntax-local-lift-expression] to introduce expressions and
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/src/expander/ |
| H A D | demo.rkt | 549 (syntax-local-lift-expression
561 (syntax-local-lift-expression (quote-syntax 1)))])
1054 ;; syntax-local-lift-{expression,module}, etc.
1068 (syntax-local-lift-expression
1076 (syntax-local-lift-module
1080 (syntax-local-lift-module
1083 (syntax-local-lift-module-end-declaration
1085 (syntax-local-lift-provide
1087 (let-values ([(pre-id) (syntax-local-lift-require
1103 ;; (syntax-local-lift-module-end-declaration
[all …]
|
| /dports/lang/racket/racket-8.3/src/expander/ |
| H A D | demo.rkt | 549 (syntax-local-lift-expression
561 (syntax-local-lift-expression (quote-syntax 1)))])
1054 ;; syntax-local-lift-{expression,module}, etc.
1068 (syntax-local-lift-expression
1076 (syntax-local-lift-module
1080 (syntax-local-lift-module
1083 (syntax-local-lift-module-end-declaration
1085 (syntax-local-lift-provide
1087 (let-values ([(pre-id) (syntax-local-lift-require
1103 ;; (syntax-local-lift-module-end-declaration
[all …]
|