| /dports/lang/racket/racket-8.3/src/expander/common/ |
| H A D | phase+space.rkt | 24 ;; phase and space or a phase shift and a space shift:
42 phase+space-shift?
43 intern-phase+space-shift
45 phase+space-shift-phase-level
49 phase+space?-string
50 phase+space-shift?-string
59 ;; used for both phase+space and phase+space-shift
82 (define intern-phase+space-shift
88 [(phase+space-shift)
98 (define phase+space?-string "phase+space?")
[all …]
|
| H A D | phase.rkt | 2 (require racket/phase+space)
4 (provide phase?
5 phase+
6 phase-
7 phase<?
8 zero-phase?
10 phase?-string)
14 ;; * A "phase" is the phase at which a module is instantiated.
16 ;; * A "phase level" is a phase relative to a module's body.
18 ;; * A "phase shift" is a delta to combne with other phases.
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/src/expander/common/ |
| H A D | phase+space.rkt | 24 ;; phase and space or a phase shift and a space shift:
42 phase+space-shift?
43 intern-phase+space-shift
45 phase+space-shift-phase-level
49 phase+space?-string
50 phase+space-shift?-string
59 ;; used for both phase+space and phase+space-shift
82 (define intern-phase+space-shift
88 [(phase+space-shift)
98 (define phase+space?-string "phase+space?")
[all …]
|
| H A D | phase.rkt | 2 (require racket/phase+space)
4 (provide phase?
5 phase+
6 phase-
7 phase<?
8 zero-phase?
10 phase?-string)
14 ;; * A "phase" is the phase at which a module is instantiated.
16 ;; * A "phase level" is a phase relative to a module's body.
18 ;; * A "phase shift" is a delta to combne with other phases.
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/src/expander/expand/ |
| H A D | require.rkt | 48 [phase-shift phase-shift] ; this really should be called `phase-level` everywhere
222 #:phase-shift phase-shift
263 #:phase-shift phase-shift
291 … (add-required-module! requires+provides mpi (intern-phase+space-shift phase-shift space-level)
316 bind-in-stx phase-shift space-level m-ns interned-mpi module-name
373 (string-append (symbol->string (adjust-prefix-sym adjust))
440 (define (bind-all-provides! m in-stx phase-shift space-level ns mpi module-name
454 (define phase+space-shift (intern-phase+space-shift phase-shift space-level))
460 (define phase+space (phase+space+ provide-phase+space phase+space-shift))
477 #:phase+space-shift phase+space-shift))
[all …]
|
| H A D | require+provide.rkt | 123 (phase+space-shift-phase-level phase+space-shift)
128 phase+space-shift
154 … #:nominal-require-phase+space-shift nominal-require-phase+space-shift
199 [else (string->symbol (string-append (symbol->string bulk-prefix)
236 (define phase+space (phase+space+ (bulk-required-provide-phase+space br) phase+space-shift))
255 (for* ([(phase+space-shift at-phase) (in-hash at-mod)]
286 (define nominal-phase+space-shift (module-binding-nominal-require-phase+space-shift b))
423 (define nominal-phase+space-shift (module-binding-nominal-require-phase+space-shift b))
468 (define nominal-phase+space-shift (module-binding-nominal-require-phase+space-shift b))
523 [phase+space-shift (in-list (if (eq? phase+space-shift 'all)
[all …]
|
| H A D | provide.rkt | 219 (define b (resolve+shift/extra-inspector (add-space-scope spec at-space) at-phase ns))
223 …(when (same-binding? b (resolve+shift/extra-inspector (remove-space-scope spec at-space) at-phase …
226 (define immed-b (resolve+shift spec at-phase #:immediate? #t))
236 (define sym (string->symbol (format fmt
260 (define at-phase+space-shift (intern-phase+space-shift at-phase at-space-level))
261 (define requireds (extract-module-requires rp mpi at-phase+space-shift))
263 (define (phase-desc) (string-append
279 (string->symbol (string-append (symbol->string prefix-sym) (symbol->string sym)))
282 (define at-phase+space (phase+space+ 0 at-phase+space-shift))
301 (define b (resolve+shift/extra-inspector id phase ns))
[all …]
|
| H A D | syntax-local.rkt | 6 "../common/phase+space.rkt"
155 (check who phase? #:contract phase?-string phase)
312 …(define shift-s (for/fold ([s pre-s]) ([phase (in-range phase wrt-phase -1)]) ; shift from lift-co…
387 (syntax-shift-phase-level core-stx phase)
401 (define/who (syntax-local-module-required-identifiers mod-path phase+space-shift)
404 (unless (or (eq? phase+space-shift #t) (phase+space-shift? phase+space-shift))
405 (raise-argument-error who (format "(or/c ~a #t)" phase+space-shift?-string) phase+space-shift))
415 … (if (eq? phase+space-shift #t) 'all (intern-phase+space-shift phase+space-shift))))
417 (for/list ([(phase+space-shift ids) (in-hash (requireds->phase-ht requireds))])
418 (cons phase+space-shift ids))))
[all …]
|
| /dports/lang/racket/racket-8.3/src/expander/expand/ |
| H A D | require.rkt | 48 [phase-shift phase-shift] ; this really should be called `phase-level` everywhere
222 #:phase-shift phase-shift
263 #:phase-shift phase-shift
291 … (add-required-module! requires+provides mpi (intern-phase+space-shift phase-shift space-level)
316 bind-in-stx phase-shift space-level m-ns interned-mpi module-name
373 (string-append (symbol->string (adjust-prefix-sym adjust))
440 (define (bind-all-provides! m in-stx phase-shift space-level ns mpi module-name
454 (define phase+space-shift (intern-phase+space-shift phase-shift space-level))
460 (define phase+space (phase+space+ provide-phase+space phase+space-shift))
477 #:phase+space-shift phase+space-shift))
[all …]
|
| H A D | require+provide.rkt | 123 (phase+space-shift-phase-level phase+space-shift)
128 phase+space-shift
154 … #:nominal-require-phase+space-shift nominal-require-phase+space-shift
199 [else (string->symbol (string-append (symbol->string bulk-prefix)
236 (define phase+space (phase+space+ (bulk-required-provide-phase+space br) phase+space-shift))
255 (for* ([(phase+space-shift at-phase) (in-hash at-mod)]
286 (define nominal-phase+space-shift (module-binding-nominal-require-phase+space-shift b))
423 (define nominal-phase+space-shift (module-binding-nominal-require-phase+space-shift b))
468 (define nominal-phase+space-shift (module-binding-nominal-require-phase+space-shift b))
523 [phase+space-shift (in-list (if (eq? phase+space-shift 'all)
[all …]
|
| H A D | provide.rkt | 219 (define b (resolve+shift/extra-inspector (add-space-scope spec at-space) at-phase ns))
223 …(when (same-binding? b (resolve+shift/extra-inspector (remove-space-scope spec at-space) at-phase …
226 (define immed-b (resolve+shift spec at-phase #:immediate? #t))
236 (define sym (string->symbol (format fmt
260 (define at-phase+space-shift (intern-phase+space-shift at-phase at-space-level))
261 (define requireds (extract-module-requires rp mpi at-phase+space-shift))
263 (define (phase-desc) (string-append
279 (string->symbol (string-append (symbol->string prefix-sym) (symbol->string sym)))
282 (define at-phase+space (phase+space+ 0 at-phase+space-shift))
301 (define b (resolve+shift/extra-inspector id phase ns))
[all …]
|
| H A D | syntax-local.rkt | 6 "../common/phase+space.rkt"
155 (check who phase? #:contract phase?-string phase)
312 …(define shift-s (for/fold ([s pre-s]) ([phase (in-range phase wrt-phase -1)]) ; shift from lift-co…
387 (syntax-shift-phase-level core-stx phase)
401 (define/who (syntax-local-module-required-identifiers mod-path phase+space-shift)
404 (unless (or (eq? phase+space-shift #t) (phase+space-shift? phase+space-shift))
405 (raise-argument-error who (format "(or/c ~a #t)" phase+space-shift?-string) phase+space-shift))
415 … (if (eq? phase+space-shift #t) 'all (intern-phase+space-shift phase+space-shift))))
417 (for/list ([(phase+space-shift ids) (in-hash (requireds->phase-ht requireds))])
418 (cons phase+space-shift ids))))
[all …]
|
| /dports/lang/racket/racket-8.3/src/expander/syntax/ |
| H A D | api.rkt | 3 "../common/phase+space.rkt"
16 [syntax-shift-phase-level raw:syntax-shift-phase-level])
66 syntax-shift-phase-level
121 [nominal-require-phase+space-shift 0]
128 (check who phase? #:contract phase?-string phase)
130 (check who phase+space? #:contract phase+space?-string nominal-phase+space)
132 …(check who phase+space-shift? #:contract phase+space-shift?-string nominal-require-phase+space-shi…
137 (intern-phase+space-shift nominal-require-phase+space-shift)
156 (check who phase? #:contract phase?-string phase)
220 (define/who (syntax-shift-phase-level s phase)
[all …]
|
| H A D | bulk-binding.rkt | 7 "../common/phase+space.rkt"
50 #:provide-phase+space provide-phase+space
51 #:phase+space-shift phase+space-shift)
57 #:nominal-phase+space provide-phase+space
59 #:nominal-require-phase+space-shift phase+space-shift
82 provide-phase+space ; providing module's import phase and space
83 phase+space-shift ; providing module's instantiation phase and space level
129 #:provide-phase+space (bulk-binding-provide-phase+space b)
130 #:phase+space-shift (bulk-binding-phase+space-shift b)))
149 (ser-push! (bulk-binding-phase+space-shift b))
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/src/expander/syntax/ |
| H A D | api.rkt | 3 "../common/phase+space.rkt"
16 [syntax-shift-phase-level raw:syntax-shift-phase-level])
66 syntax-shift-phase-level
121 [nominal-require-phase+space-shift 0]
128 (check who phase? #:contract phase?-string phase)
130 (check who phase+space? #:contract phase+space?-string nominal-phase+space)
132 …(check who phase+space-shift? #:contract phase+space-shift?-string nominal-require-phase+space-shi…
137 (intern-phase+space-shift nominal-require-phase+space-shift)
156 (check who phase? #:contract phase?-string phase)
220 (define/who (syntax-shift-phase-level s phase)
[all …]
|
| H A D | bulk-binding.rkt | 7 "../common/phase+space.rkt"
50 #:provide-phase+space provide-phase+space
51 #:phase+space-shift phase+space-shift)
57 #:nominal-phase+space provide-phase+space
59 #:nominal-require-phase+space-shift phase+space-shift
82 provide-phase+space ; providing module's import phase and space
83 phase+space-shift ; providing module's instantiation phase and space level
129 #:provide-phase+space (bulk-binding-provide-phase+space b)
130 #:phase+space-shift (bulk-binding-phase+space-shift b)))
149 (ser-push! (bulk-binding-phase+space-shift b))
[all …]
|
| /dports/lang/racket/racket-8.3/collects/racket/private/ |
| H A D | reqprov.rkt | 138 (phase+space-shift+ (import-req-mode import) mode)
145 (phase+space-shift+ (import-source-mode source)
267 (let ([phase-shift (car mode)])
268 (if (eq? phase-shift 0)
270 #`(for-meta #,phase-shift
378 … #,(mode-wrap (phase+space-shift+ base-mode (import-req-mode import))
393 … (mode-wrap (phase+space-shift+ base-mode (import-source-mode src))
876 (let ([phase (phase+space-phase mode)])
880 (let ([space (phase+space-space mode)])
1009 … (let ([abs-phase (phase+space-phase (phase+space+ mode (syntax-local-phase-level)))])
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/collects/racket/private/ |
| H A D | reqprov.rkt | 138 (phase+space-shift+ (import-req-mode import) mode)
145 (phase+space-shift+ (import-source-mode source)
267 (let ([phase-shift (car mode)])
268 (if (eq? phase-shift 0)
270 #`(for-meta #,phase-shift
378 … #,(mode-wrap (phase+space-shift+ base-mode (import-req-mode import))
393 … (mode-wrap (phase+space-shift+ base-mode (import-source-mode src))
876 (let ([phase (phase+space-phase mode)])
880 (let ([space (phase+space-space mode)])
1009 … (let ([abs-phase (phase+space-phase (phase+space+ mode (syntax-local-phase-level)))])
[all …]
|
| /dports/lang/racket/racket-8.3/collects/racket/ |
| H A D | require-transform.rkt | 9 "phase+space.rkt"
34 (unless (phase+space? mode)
35 (raise-argument-error 'make-import "phase+space?" mode))
36 (unless (phase+space-shift? req-mode)
37 (raise-argument-error 'make-import "phase+space-shift?" req-mode))
38 (unless (phase+space? orig-mode)
39 (raise-argument-error 'make-import "phase+space?" orig-mode))
40 (unless (equal? mode (phase+space+ orig-mode req-mode))
55 (unless (phase+space-shift? mode)
56 (raise-argument-error 'make-import-source "phase+space-shift?" mode))
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/collects/racket/ |
| H A D | require-transform.rkt | 9 "phase+space.rkt"
34 (unless (phase+space? mode)
35 (raise-argument-error 'make-import "phase+space?" mode))
36 (unless (phase+space-shift? req-mode)
37 (raise-argument-error 'make-import "phase+space-shift?" req-mode))
38 (unless (phase+space? orig-mode)
39 (raise-argument-error 'make-import "phase+space?" orig-mode))
40 (unless (equal? mode (phase+space+ orig-mode req-mode))
55 (unless (phase+space-shift? mode)
56 (raise-argument-error 'make-import-source "phase+space-shift?" mode))
[all …]
|
| /dports/lang/racket/racket-8.3/share/pkgs/drracket-tool-lib/drracket/private/syncheck/ |
| H A D | traversals.rkt | 442 (mod-loop (syntax-shift-phase-level body (- level)) #f))))]
615 (define (shift-it i)
616 (syntax-shift-phase-level (vector-ref the-vec i)
982 (define phase-shift+space (list-ref binding 5))
983 (define phase-shift (if (pair? phase-shift+space) (car phase-shift+space) phase-shift+space))
984 (define phase+space (list-ref binding 6))
985 (define phase (if (pair? phase+space) (car phase+space) phase+space))
988 (+ phase-shift
997 phase-shift
1002 phase-shift
[all …]
|
| /dports/emulators/mess/mame-mame0226/src/devices/cpu/mcs40/ |
| H A D | mcs40.cpp | 138 m_spaces[AS_ROM] = &space(AS_ROM); in device_start()
139 m_spaces[AS_RAM_MEMORY] = &space(AS_RAM_MEMORY); in device_start()
140 m_spaces[AS_ROM_PORTS] = &space(AS_ROM_PORTS); in device_start()
141 m_spaces[AS_RAM_STATUS] = &space(AS_RAM_STATUS); in device_start()
142 m_spaces[AS_RAM_PORTS] = &space(AS_RAM_PORTS); in device_start()
143 m_spaces[AS_PROGRAM_MEMORY] = &space(AS_PROGRAM_MEMORY); in device_start()
350 … const reg(entry.index() - I4004_R0), pair(reg >> 1), shift(BIT(~reg, 0) << 2), mask(0x0fU << shif… in state_import() local
351 m_index_regs[pair] = (m_index_regs[pair] & ~mask) | ((m_index_reg_halves[reg] << shift) & mask); in state_import()
380 u8 const reg(entry.index() - I4004_R0), pair(reg >> 1), shift(BIT(~reg, 0) << 2); in state_export() local
381 m_index_reg_halves[reg] = (m_index_regs[pair] >> shift) & 0x0fU; in state_export()
[all …]
|
| /dports/emulators/mame/mame-mame0226/src/devices/cpu/mcs40/ |
| H A D | mcs40.cpp | 138 m_spaces[AS_ROM] = &space(AS_ROM); in device_start()
139 m_spaces[AS_RAM_MEMORY] = &space(AS_RAM_MEMORY); in device_start()
140 m_spaces[AS_ROM_PORTS] = &space(AS_ROM_PORTS); in device_start()
141 m_spaces[AS_RAM_STATUS] = &space(AS_RAM_STATUS); in device_start()
142 m_spaces[AS_RAM_PORTS] = &space(AS_RAM_PORTS); in device_start()
143 m_spaces[AS_PROGRAM_MEMORY] = &space(AS_PROGRAM_MEMORY); in device_start()
350 … const reg(entry.index() - I4004_R0), pair(reg >> 1), shift(BIT(~reg, 0) << 2), mask(0x0fU << shif… in state_import() local
351 m_index_regs[pair] = (m_index_regs[pair] & ~mask) | ((m_index_reg_halves[reg] << shift) & mask); in state_import()
380 u8 const reg(entry.index() - I4004_R0), pair(reg >> 1), shift(BIT(~reg, 0) << 2); in state_export() local
381 m_index_reg_halves[reg] = (m_index_regs[pair] >> shift) & 0x0fU; in state_export()
[all …]
|
| /dports/lang/racket/racket-8.3/src/expander/namespace/ |
| H A D | module.rkt | 167 ;; Keeps all module declarations, but makes a fresh space of instances
257 (define (module-name->error-string mod-name)
258 (unquoted-printing-string (format "~a" mod-name)))
274 (string-append
455 (define phase-shift instance-phase) ; instance phase = phase shift
460 (apply string-append
491 (define phase (phase+ phase-level phase-shift))
549 #:phase-shift phase-shift)
555 (module-path-index-shift mod shift-from shift-to)
557 phase-shift
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/src/expander/namespace/ |
| H A D | module.rkt | 167 ;; Keeps all module declarations, but makes a fresh space of instances
257 (define (module-name->error-string mod-name)
258 (unquoted-printing-string (format "~a" mod-name)))
274 (string-append
455 (define phase-shift instance-phase) ; instance phase = phase shift
460 (apply string-append
491 (define phase (phase+ phase-level phase-shift))
549 #:phase-shift phase-shift)
555 (module-path-index-shift mod shift-from shift-to)
557 phase-shift
[all …]
|