Searched +refs:binding +refs:module +refs:path +refs:index +refs:shift (Results 1 – 25 of 3650) sorted by relevance
12345678910>>...146
35 syntax-module-path-index-shift39 binding-module-path-index-shift60 (top-level-module-path-index? (module-binding-module b)))72 (eq? (module-path-index-resolve (module-binding-module ab))73 (module-path-index-resolve (module-binding-module bb))))]105 (if (top-level-module-path-index? (module-binding-module b))271 (module-path-index-shift shifted-mpi (shift-from shift) (shift-to shift))]))280 (binding-module-path-index-shift shifted-b (shift-from shift) (shift-to shift))]))288 (define (binding-module-path-index-shift b from-mpi to-mpi)292 #:module (module-path-index-shift (module-binding-module b)[all …]
6 "../common/module-path.rkt"45 ;; providing module's view of a binding to a requiring module's view.51 #:phase+space-shift phase+space-shift)53 (define from-mod (module-binding-module binding))54 (module-binding-update binding55 #:module (module-path-index-shift from-mod self mpi)59 #:nominal-require-phase+space-shift phase+space-shift83 phase+space-shift ; providing module's instantiation phase and space level130 #:phase+space-shift (bulk-binding-phase+space-shift b)))149 (ser-push! (bulk-binding-phase+space-shift b))[all …]
8 "../syntax/binding.rkt"9 "../syntax/module-binding.rkt"10 "../common/module-path.rkt"35 (define mpi (module-path-index-shift req original-self self))38 #:phase-shift (phase+ phase phase-shift)48 ;; the binding should be unreachable, but we need to reserve51 (add-binding! id (make-module-binding self phase sym) phase)58 ;; Shift `all-scopes-stx` so that the module path index reported for61 ;; viewing bindings from outside the module. This shift makes69 (define inside-mpi (make-self-module-path-index (module-path-index-resolved outside-mpi)))[all …]
19 (module-path-index? mod-path)22 "(or/c module-path? module-path-index? resolved-module-path?)"34 [(module-path? mod-path) (module-path-index-join mod-path #f)]35 [(module-path-index? mod-path) mod-path]36 [else (module-path-index-join (resolved-module-path->module-path mod-path) #f)]))37 (define mod-name (module-path-index-resolve mpi #t))72 (define ex-sym (module-binding-sym binding))73 (define ex-phase (module-binding-phase binding))76 (define ex-mod-name (module-path-index-resolve77 (module-path-index-shift[all …]
48 shift-provides-module-path-index)52 (struct requires+provides (self ; module-path-index to recognize definitions among requires54 require-mpis-in-order ; require-phase -> list of module-path-index82 (make-module-path-index-intern-table))107 (intern-module-path-index! (requires+provides-require-mpis r+p) mpi))116 ;; locally interned module path index261 (syntax-module-path-index-shift 579 (module-path-index-shift mpi old-self new-self)))))581 (shift-provides-module-path-index (requires+provides-provides r+p)590 (define (shift-provides-module-path-index provides from-mpi to-mpi)[all …]
7 "../common/module-path.rkt"8 "binding-to-module.rkt")10 (provide resolve+shift/extra-inspector24 (module-binding-sym b)46 … (module-path-index-resolve (namespace-mpi (module-instance-namespace mi))))57 (define (resolve+shift/extra-inspector id phase ns)59 (define b (resolve+shift id phase #:immediate? #t))63 (when (and (module-binding? b)64 (not (top-level-module-path-index? (module-binding-module b))))70 [(and (module-binding? next-b)[all …]
15 "module-path.rkt"18 "../common/module-path.rkt"210 (unless (or (module-path? maybe-mp)211 (resolved-module-path? maybe-mp))215 (define mp (if (resolved-module-path? maybe-mp)216 (resolved-module-path->module-path maybe-mp)218 (define mpi (module-path->mpi mp self249 (perform-require! (module-path->mpi mod-path self) #f self282 (define module-name (module-path-index-resolve mpi #t orig-s))547 … (module-path-index-resolve (module-binding-module binding))[all …]
21 (define (deserialize-module-path-indexes gen-vec order-vec)29 [(eq? d 'top) (error 'deserialize-module-path-indexes "expected top")]30 [(box? d) (module-path-index-join #f #f)]32 (module-path-index-join (vector-ref d 0)101 [(#:module-binding)103 [(#:simple-module-binding)117 (define (syntax-module-path-index-shift . args)118 (error 'syntax-module-path-index-shift "not supported"))125 'deserialize-module-path-indexes deserialize-module-path-indexes126 'syntax-module-path-index-shift syntax-module-path-index-shift[all …]
8 "../syntax/binding.rkt"10 "../common/module-path.rkt"65 (define mpi (module-path-index-join (list 'quote name) #f))78 (define binding (make-module-binding mpi 0 sym))85 (lambda (data-box ns phase-shift phase-level self bulk-binding-registry insp)89 (module-path-index-resolve mpi)))94 (define mpi (module-path-index-join (list 'quote name) #f))96 (module-path-index-join (list 'quote require-name) #f)))109 (module-path-index-resolve require-mpi)))]112 (shift-provides-module-path-index[all …]
8 syntax-shift-phase-level)27 "../common/module-path.rkt"73 syntax-shift-phase-level200 module-path?202 resolved-module-path?206 module-path-index?207 module-path-index-resolve208 module-path-index-join209 module-path-index-split210 module-path-index-submodule[all …]
102 (list/c module-path-index?104 module-path-index?129 @item{@racket[_from-mod] is a module path index (see131 is the ``self'' module path index if the binding refers to a145 @item{@racket[_nominal-from-mod] is a module path index (see215 (listof module-path-index?217 module-path-index?231 (listof module-path-index?233 module-path-index?247 (listof module-path-index?[all …]
74 add-module-path-index!75 add-module-path-index!/pos98 (module-path-index-table (make-hasheq) ; module-path-index -> pos111 (let ([mpi (intern-module-path-index! (module-path-index-table-intern mpis) mpi)]446 [(module-path-index? v)1003 syntax-module-path-index-shift1009 (define syntax-module-path-index-shift/no-keywords1010 (let ([syntax-module-path-index-shift1012 (syntax-module-path-index-shift s from-mpi to-mpi inspector))])1013 syntax-module-path-index-shift))[all …]
165 (define name (module-path-index-resolve name-mpi))388 (unless (module-path-index? mpi)389 (error "not a module path index:" mpi))390 (define name (module-path-index-resolve mpi #t))444 (module-path-index-resolve472 (module-path-index-shift req-mpi553 (module-path-index-resolve555 (module-path-index-shift mod shift-from shift-to)573 ;; ensure that each module path index is unresolved and does not share580 (module-path-index-fresh req-mpi)))))[all …]
9 "../common/module-path.rkt"33 (define core-module-name (make-resolved-module-path '#%core))34 (define core-mpi (module-path-index-join ''#%core #f))54 (let ([s (datum->syntax (syntax-shift-phase-level core-stx 1) sym)])58 (datum->syntax (syntax-shift-phase-level core-stx phase) sym)]))88 (make-module-binding core-mpi 0 sym)104 (define b (make-module-binding core-mpi 0 sym))140 (let ([b (resolve+shift (m 'id) phase)])141 (and (module-binding? b)142 (eq? core-module-name (module-path-index-resolve (module-binding-module b)))[all …]