/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 …]
|