| /dports/lang/racket-minimal/racket-8.3/src/expander/expand/ |
| H A D | lift-context.rkt | 18 get-and-clear-lifts!
24 get-lifts-as-lists
27 get-and-clear-module-lifts!
33 get-require-lifts
34 get-and-clear-require-lifts!
40 get-and-clear-end-lifts!
41 get-and-clear-provide-lifts!
72 (define (get-and-clear-lifts! lifts)
135 (define (get-lifts-as-lists lifts)
189 (define (get-require-lifts require-lifts)
[all …]
|
| H A D | top.rkt | 2 (require "../common/struct-star.rkt"
11 "require+provide.rkt"
15 "require.rkt"
66 [lifts lift-ctx]))
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)))
90 ;; We shouldn't be able to get here in to-parsed mode
96 '#%require
[all …]
|
| H A D | syntax-local.rkt | 2 (require "../common/set.rkt"
17 "require.rkt"
18 "require+provide.rkt"
243 (define lifts (expand-context-lifts ctx))
254 (add-lifted! lifts
277 (define lifts (expand-context-module-lifts ctx))
278 (unless lifts
331 #:get-lift-ctx expand-context-require-lifts
332 #:get-wrt-phase require-lift-context-wrt-phase
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)))
487 [require-lifts (make-require-lift-context
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)))
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 | context.rkt | 2 (require "../common/promise.rkt"
20 get-current-expand-context
64 lift-envs ; list of box of env for lifts to locals
65 module-lifts ; lifted `module`s
66 require-lifts ; lifted `require`s
83 (define root-ctx (namespace-get-root-expand-ctx ns))
114 #f ; lifts
116 #f ; module-lifts
117 #f ; require-lifts
118 #f ; to-module-lifts
[all …]
|
| H A D | local-expand.rkt | 2 (require "../common/performance.rkt"
21 local-expand/capture-lifts
23 local-transformer-expand/capture-lifts
31 #:capture-lifts? #t
41 #:capture-lifts? #t
50 (define ctx (get-current-expand-context))
69 #:capture-lifts? [capture-lifts? #f]
98 (define ctx (get-current-expand-context who))
126 [(and as-transformer? capture-lifts?)
129 #:expand-lifts? #f
[all …]
|
| /dports/lang/racket/racket-8.3/src/expander/expand/ |
| H A D | lift-context.rkt | 18 get-and-clear-lifts!
24 get-lifts-as-lists
27 get-and-clear-module-lifts!
33 get-require-lifts
34 get-and-clear-require-lifts!
40 get-and-clear-end-lifts!
41 get-and-clear-provide-lifts!
72 (define (get-and-clear-lifts! lifts)
135 (define (get-lifts-as-lists lifts)
189 (define (get-require-lifts require-lifts)
[all …]
|
| H A D | top.rkt | 2 (require "../common/struct-star.rkt"
11 "require+provide.rkt"
15 "require.rkt"
66 [lifts lift-ctx]))
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)))
90 ;; We shouldn't be able to get here in to-parsed mode
96 '#%require
[all …]
|
| H A D | syntax-local.rkt | 2 (require "../common/set.rkt"
17 "require.rkt"
18 "require+provide.rkt"
243 (define lifts (expand-context-lifts ctx))
254 (add-lifted! lifts
277 (define lifts (expand-context-module-lifts ctx))
278 (unless lifts
331 #:get-lift-ctx expand-context-require-lifts
332 #:get-wrt-phase require-lift-context-wrt-phase
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)))
487 [require-lifts (make-require-lift-context
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)))
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 | context.rkt | 2 (require "../common/promise.rkt"
20 get-current-expand-context
64 lift-envs ; list of box of env for lifts to locals
65 module-lifts ; lifted `module`s
66 require-lifts ; lifted `require`s
83 (define root-ctx (namespace-get-root-expand-ctx ns))
114 #f ; lifts
116 #f ; module-lifts
117 #f ; require-lifts
118 #f ; to-module-lifts
[all …]
|
| H A D | local-expand.rkt | 2 (require "../common/performance.rkt"
21 local-expand/capture-lifts
23 local-transformer-expand/capture-lifts
31 #:capture-lifts? #t
41 #:capture-lifts? #t
50 (define ctx (get-current-expand-context))
69 #:capture-lifts? [capture-lifts? #f]
98 (define ctx (get-current-expand-context who))
126 [(and as-transformer? capture-lifts?)
129 #:expand-lifts? #f
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/src/expander/eval/ |
| H A D | main.rkt | 154 [(and (null? require-lifts) (null? lifts)) exp-s]
156 (wrap-lifts-as-lifted-parsed-begin require-lifts
164 (wrap-lifts-as-begin (append require-lifts lifts)
180 (define-values (require-lifts lifts exp-s)
184 [(and (null? require-lifts) (null? lifts)) exp-s]
186 (wrap-lifts-as-begin (append require-lifts lifts)
225 (define-values (require-lifts lifts exp-s)
231 [(or (pair? require-lifts) (pair? lifts))
327 (values (get-and-clear-require-lifts! require-lift-ctx)
328 (get-and-clear-lifts! lift-ctx)
[all …]
|
| /dports/lang/racket/racket-8.3/src/expander/eval/ |
| H A D | main.rkt | 154 [(and (null? require-lifts) (null? lifts)) exp-s]
156 (wrap-lifts-as-lifted-parsed-begin require-lifts
164 (wrap-lifts-as-begin (append require-lifts lifts)
180 (define-values (require-lifts lifts exp-s)
184 [(and (null? require-lifts) (null? lifts)) exp-s]
186 (wrap-lifts-as-begin (append require-lifts lifts)
225 (define-values (require-lifts lifts exp-s)
231 [(or (pair? require-lifts) (pair? lifts))
327 (values (get-and-clear-require-lifts! require-lift-ctx)
328 (get-and-clear-lifts! lift-ctx)
[all …]
|
| /dports/lang/racket/racket-8.3/share/pkgs/compiler-lib/compiler/demodularizer/ |
| H A D | linklet.rkt | 2 (require racket/match
13 linklet*-lifts
17 (define (get-exports linkl select)
30 (get-exports linkl cadr))
33 (get-exports linkl car))
49 (get-importss linkl car))
52 (get-importss linkl cadr))
54 (define (get-importss linkl select)
77 (define (linklet*-lifts linkl)
79 [(linkl? linkl) (linkl-lifts linkl)]
|
| H A D | main.rkt | 2 (require racket/set
62 (define-values (names internals lifts imports) (select-names runs))
65 (define-values (body first-internal-pos merged-internals linkl-mode get-merge-info)
66 (merge-linklets runs names internals lifts imports))
69 (define-values (new-body new-internals new-lifts)
70 (gc-definitions linkl-mode body internals lifts first-internal-pos merged-internals
74 (define bundle (wrap-bundle linkl-mode new-body new-internals new-lifts
76 get-merge-info
|
| H A D | name.rkt | 2 (require "linklet.rkt"
14 (define lifts (box '()))
18 (define reserved-names '(.get-syntax-literal!
47 (select-names! (linklet*-lifts linkl) lifts))
68 (values names (unbox internals) (unbox lifts) imports))
|
| /dports/lang/racket/racket-8.3/collects/racket/contract/private/ |
| H A D | opt-guts.rkt | 2 (require syntax/private/boundmap ;; needs to be the private one, since the public one has contracts
9 (provide get-opter reg-opter! opter
57 ;; The opt/info struct has a number of identifiers that get used to build
102 #:lifts lifts
126 ;; get-opter : syntax -> opter
127 (define (get-opter ctc)
128 (module-identifier-mapping-get opters-table ctc (λ () #f)))
133 (get-opter ctc)
246 ;; empty-lifts : lifts
250 (define (bind-lifts lifts stx) (do-bind-lifts lifts stx #'let*-values))
[all …]
|
| H A D | ds.rkt | 20 (require "guts.rkt"
24 (require (for-syntax racket/base)
276 (and (wrap-get val 0)
300 (get struct i)]
365 [(clauses lifts superlifts stronger-ribs names)
384 #,(bind-lifts
385 lifts
388 lifts
403 (let-values ([(enforcer lifts superlifts stronger-ribs names)
414 (lifts-to-save lifts))])
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/collects/racket/contract/private/ |
| H A D | opt-guts.rkt | 2 (require syntax/private/boundmap ;; needs to be the private one, since the public one has contracts
9 (provide get-opter reg-opter! opter
57 ;; The opt/info struct has a number of identifiers that get used to build
102 #:lifts lifts
126 ;; get-opter : syntax -> opter
127 (define (get-opter ctc)
128 (module-identifier-mapping-get opters-table ctc (λ () #f)))
133 (get-opter ctc)
246 ;; empty-lifts : lifts
250 (define (bind-lifts lifts stx) (do-bind-lifts lifts stx #'let*-values))
[all …]
|
| H A D | ds.rkt | 20 (require "guts.rkt"
24 (require (for-syntax racket/base)
276 (and (wrap-get val 0)
300 (get struct i)]
365 [(clauses lifts superlifts stronger-ribs names)
384 #,(bind-lifts
385 lifts
388 lifts
403 (let-values ([(enforcer lifts superlifts stronger-ribs names)
414 (lifts-to-save lifts))])
[all …]
|
| /dports/lang/racket/racket-8.3/share/pkgs/typed-racket-lib/typed-racket/utils/ |
| H A D | lift.rkt | 5 (require syntax/parse
10 ;; like `local-expand/capture-lifts` but expands the lifted expression, which
14 ;; at each iteration, get lifted definitions and the expanded expression
16 (define stx* (local-expand/capture-lifts stx ctx stop-ids))
|
| H A D | require-contract.rkt | 3 ;; This module provides helper macros for `require/typed`
5 (require racket/contract/region racket/contract/base
11 (provide require/contract define-ignored rename-without-provide)
16 (syntax-case (local-expand/capture-lifts #'expr
51 (define-syntax (require/contract stx)
60 [(require/contract nm:renameable hidden:id cnt lib)
61 #`(begin (require (only-in lib [nm.orig-nm nm.orig-nm-r]))
66 #,(get-alternate #'nm.orig-nm-r)
73 ;; get the alternate field of the renaming, if it exists
74 (define-for-syntax (get-alternate id)
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/src/schemify/ |
| H A D | jitify.rkt | 2 (require "match.rkt"
100 (define-values (get-e new-lifts)
105 `(jitified-extract-closed ,get-e)
106 get-e)
124 (define-values (get-sub-lift new-lifts) (add-lift (lifts->datum body-lifts) lifts))
125 (values (cons get-sub-lift captures) new-lifts)]))
126 (define-values (get-e newer-lifts)
131 `((jitified-extract ,get-e) . ,all-captures)
132 `(,get-e . ,all-captures))
196 `(let ([,lifts-id ',(lifts->datum lifts)])
[all …]
|
| /dports/lang/racket/racket-8.3/src/schemify/ |
| H A D | jitify.rkt | 2 (require "match.rkt"
100 (define-values (get-e new-lifts)
105 `(jitified-extract-closed ,get-e)
106 get-e)
124 (define-values (get-sub-lift new-lifts) (add-lift (lifts->datum body-lifts) lifts))
125 (values (cons get-sub-lift captures) new-lifts)]))
126 (define-values (get-e newer-lifts)
131 `((jitified-extract ,get-e) . ,all-captures)
132 `(,get-e . ,all-captures))
196 `(let ([,lifts-id ',(lifts->datum lifts)])
[all …]
|