| /dports/lang/racket/racket-8.3/collects/racket/private/ |
| H A D | stxparamkey.rkt | 24 (unless (or (not who/must-be-transformer) (rename-transformer? v))
26 "rename-transformer?"
68 (define (rename-transformer-parameter-target rtp)
73 ;; used to test the rename-transformer
76 (rename-transformer-target (syntax-parameter-key-value key default-id))
80 …(struct:rename-transformer-parameter make-rename-transformer-parameter rename-transformer-paramete…
81 …(make-struct-type 'rename-transformer-parameter struct:syntax-parameter 0 0 #f (list (cons prop:re…
110 [(rename-transformer? v)
111 (with-syntax ([target (rename-transformer-target v)])
150 rename-transformer-parameter?
[all …]
|
| H A D | reqprov.rkt | 9 "struct-info.rkt"
19 rename-out except-out prefix-out struct-out combine-out
342 [(rename-in path [orig-id bind-id] ...)
363 (rename #,xlated-path #,bind-id #,orig-id))))))
816 (rename #,(export-local-id export)
928 (and (rename-transformer? v)
930 (rename-transformer-target v)
1087 (define-syntax struct-out
1128 ;; of `struct-out'. That could become expensive if `struct-out' is
1270 (define-for-syntax (rename-import i id)
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/collects/racket/private/ |
| H A D | stxparamkey.rkt | 24 (unless (or (not who/must-be-transformer) (rename-transformer? v))
26 "rename-transformer?"
68 (define (rename-transformer-parameter-target rtp)
73 ;; used to test the rename-transformer
76 (rename-transformer-target (syntax-parameter-key-value key default-id))
80 …(struct:rename-transformer-parameter make-rename-transformer-parameter rename-transformer-paramete…
81 …(make-struct-type 'rename-transformer-parameter struct:syntax-parameter 0 0 #f (list (cons prop:re…
110 [(rename-transformer? v)
111 (with-syntax ([target (rename-transformer-target v)])
150 rename-transformer-parameter?
[all …]
|
| H A D | reqprov.rkt | 9 "struct-info.rkt"
19 rename-out except-out prefix-out struct-out combine-out
342 [(rename-in path [orig-id bind-id] ...)
363 (rename #,xlated-path #,bind-id #,orig-id))))))
816 (rename #,(export-local-id export)
928 (and (rename-transformer? v)
930 (rename-transformer-target v)
1087 (define-syntax struct-out
1128 ;; of `struct-out'. That could become expensive if `struct-out' is
1270 (define-for-syntax (rename-import i id)
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/src/expander/expand/ |
| H A D | rename-trans.rkt | 4 (provide rename-transformer?
5 prop:rename-transformer
6 make-rename-transformer
7 rename-transformer-target)
9 (define-values (prop:rename-transformer rename-transformer? rename-transformer-value)
10 (make-struct-type-property 'rename-transformer
51 (struct id-rename-transformer (id)
55 (define (make-rename-transformer id)
57 (raise-argument-error 'make-rename-transformer "identifier?" id))
58 (id-rename-transformer id))
[all …]
|
| H A D | main.rkt | 58 apply-rename-transformer
320 (not (rename-transformer? t)))
324 [(rename-transformer? t)
328 (define alt-id (apply-rename-transformer t id ctx))
329 (log-expand ctx 'rename-transformer alt-id)
501 (define (apply-rename-transformer t id ctx)
502 (define target-id (rename-transformer-target-in-context t ctx))
803 ;; A rename transformer can have a `prop:rename-transformer` property
809 (rename-transformer-target t)))
815 (when (rename-transformer? val)
[all …]
|
| H A D | env.rkt | 17 "rename-trans.rkt"
24 (struct-out core-form)
26 transformer? transformer->procedure
29 (struct-out local-variable)
57 (struct local-variable (id) #:authentic)
81 (rename-transformer? t)))
82 (define (transformer->procedure t)
84 [(set!-transformer? t) (set!-transformer-procedure t)]
85 [(rename-transformer? t) (lambda (s) s)] ; "expansion" handled via #:alternate-id
89 (struct core-form (expander name) #:transparent #:authentic)
[all …]
|
| /dports/lang/racket/racket-8.3/src/expander/expand/ |
| H A D | rename-trans.rkt | 4 (provide rename-transformer?
5 prop:rename-transformer
6 make-rename-transformer
7 rename-transformer-target)
9 (define-values (prop:rename-transformer rename-transformer? rename-transformer-value)
10 (make-struct-type-property 'rename-transformer
51 (struct id-rename-transformer (id)
55 (define (make-rename-transformer id)
57 (raise-argument-error 'make-rename-transformer "identifier?" id))
58 (id-rename-transformer id))
[all …]
|
| H A D | main.rkt | 58 apply-rename-transformer
320 (not (rename-transformer? t)))
324 [(rename-transformer? t)
328 (define alt-id (apply-rename-transformer t id ctx))
329 (log-expand ctx 'rename-transformer alt-id)
501 (define (apply-rename-transformer t id ctx)
502 (define target-id (rename-transformer-target-in-context t ctx))
803 ;; A rename transformer can have a `prop:rename-transformer` property
809 (rename-transformer-target t)))
815 (when (rename-transformer? val)
[all …]
|
| H A D | env.rkt | 17 "rename-trans.rkt"
24 (struct-out core-form)
26 transformer? transformer->procedure
29 (struct-out local-variable)
57 (struct local-variable (id) #:authentic)
81 (rename-transformer? t)))
82 (define (transformer->procedure t)
84 [(set!-transformer? t) (set!-transformer-procedure t)]
85 [(rename-transformer? t) (lambda (s) s)] ; "expansion" handled via #:alternate-id
89 (struct core-form (expander name) #:transparent #:authentic)
[all …]
|
| /dports/lang/racket/racket-8.3/share/pkgs/compatibility-lib/mzlib/private/ |
| H A D | stxparamkey.rkt | 4 (define-struct wrapped-renamer (renamer))
7 (make-struct-type 'syntax-parameter #f 2 0 #f null (current-inspector) 0))
24 (if (rename-transformer? v)
30 [(rename-transformer? v)
31 (with-syntax ([target (rename-transformer-target v)])
33 [(set! id _expr)
36 [(id . rest)
44 [(set!-transformer? v) ((set!-transformer-procedure v) stx)]
48 [(set! id _)
54 #'id)]
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/src/expander/boot/ |
| H A D | core-primitive.rkt | 16 "../expand/rename-trans.rkt"
45 [(_ (protect id)) 'id]
46 [(_ id) 'id]))
51 [(_ id) (add-core-primitive! 'id id)]))
105 struct:exn:fail:syntax
110 struct:exn:fail:syntax:unbound
124 struct:exn:fail:syntax:missing-module
190 rename-transformer?
191 prop:rename-transformer
192 make-rename-transformer
[all …]
|
| /dports/lang/racket/racket-8.3/src/expander/boot/ |
| H A D | core-primitive.rkt | 16 "../expand/rename-trans.rkt"
45 [(_ (protect id)) 'id]
46 [(_ id) 'id]))
51 [(_ id) (add-core-primitive! 'id id)]))
105 struct:exn:fail:syntax
110 struct:exn:fail:syntax:unbound
124 struct:exn:fail:syntax:missing-module
190 rename-transformer?
191 prop:rename-transformer
192 make-rename-transformer
[all …]
|
| /dports/lang/racket/racket-8.3/share/pkgs/typed-racket-lib/typed-racket/typecheck/ |
| H A D | renamer.rkt | 5 (provide make-typed-renaming un-rename)
15 (struct typed-renaming (target alternate)
16 ;; prevent the rename transformer from expanding in
21 ;; delay the rename transformer target selection until
23 #:property prop:rename-transformer
31 ;; kw-application or struct constructors
34 (define (un-rename id)
36 (let-values (((binding new-id) (syntax-local-value/immediate id (lambda () (values #f #f)))))
38 new-id
39 id))
[all …]
|
| /dports/lang/racket/racket-8.3/collects/racket/contract/private/ |
| H A D | provide.rkt | 119 (struct provide/contract-info (rename-id contract-id original-id))
122 (define rename-id-key (gensym 'contract:rename-id))
127 (define (add-rename-id rename-id partial-id)
128 (syntax-property partial-id rename-id-key rename-id))
182 (add-rename-id rename-id
232 (add-rename-id rename-id
262 (define (make-provide/contract-transformer rename-id cid id eid pos [pid #f] [blame #f])
264 (provide/contract-transformer rename-id cid id (make-hasheq) pid blame)
277 (define (make-provide/contract-arrow-transformer rename-id contract-id id pai enpfn val)
278 (provide/contract-arrow-transformer rename-id
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/collects/racket/contract/private/ |
| H A D | provide.rkt | 119 (struct provide/contract-info (rename-id contract-id original-id))
122 (define rename-id-key (gensym 'contract:rename-id))
127 (define (add-rename-id rename-id partial-id)
128 (syntax-property partial-id rename-id-key rename-id))
182 (add-rename-id rename-id
232 (add-rename-id rename-id
262 (define (make-provide/contract-transformer rename-id cid id eid pos [pid #f] [blame #f])
264 (provide/contract-transformer rename-id cid id (make-hasheq) pid blame)
277 (define (make-provide/contract-arrow-transformer rename-id contract-id id pai enpfn val)
278 (provide/contract-arrow-transformer rename-id
[all …]
|
| /dports/lang/racket/racket-8.3/collects/racket/match/ |
| H A D | match-expander.rkt | 10 (define-struct match-expander (match-xform legacy-xform macro-xform)
11 #:property prop:set!-transformer
15 (cond [(rename-transformer? xf)
17 (define target (rename-transformer-target xf))
25 [_ (rename-transformer-target xf)]))]
26 [(set!-transformer? xf) (set!-transformer-procedure xf)]
37 #:property prop:match-expander (struct-field-index match-xform)
38 #:property prop:legacy-match-expander (struct-field-index legacy-xform))
62 [(_ id kw . rest)
77 (define-syntax id
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/collects/racket/match/ |
| H A D | match-expander.rkt | 10 (define-struct match-expander (match-xform legacy-xform macro-xform)
11 #:property prop:set!-transformer
15 (cond [(rename-transformer? xf)
17 (define target (rename-transformer-target xf))
25 [_ (rename-transformer-target xf)]))]
26 [(set!-transformer? xf) (set!-transformer-procedure xf)]
37 #:property prop:match-expander (struct-field-index match-xform)
38 #:property prop:legacy-match-expander (struct-field-index legacy-xform))
62 [(_ id kw . rest)
77 (define-syntax id
[all …]
|
| /dports/lang/racket/racket-8.3/collects/racket/ |
| H A D | lazy-require.rkt | 99 (make-rename-transformer
107 (procedure-rename
134 ;; bindings like struct names (you can use them as constructors, but not
137 (define-syntax (lazy-require-syntax1/transformer stx)
163 ;; (eg struct information).
166 (struct lazy-rename-transformer (get-id)
167 #:property prop:rename-transformer
169 (syntax-property ((lazy-rename-transformer-get-id self))
191 (require (for-syntax (only-in (submod "." aux-mod2) [get-id get-id] ...)))
194 (define-syntax bind-aux (lazy-rename-transformer get-id)) ...
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/collects/racket/ |
| H A D | lazy-require.rkt | 99 (make-rename-transformer
107 (procedure-rename
134 ;; bindings like struct names (you can use them as constructors, but not
137 (define-syntax (lazy-require-syntax1/transformer stx)
163 ;; (eg struct information).
166 (struct lazy-rename-transformer (get-id)
167 #:property prop:rename-transformer
169 (syntax-property ((lazy-rename-transformer-get-id self))
191 (require (for-syntax (only-in (submod "." aux-mod2) [get-id get-id] ...)))
194 (define-syntax bind-aux (lazy-rename-transformer get-id)) ...
[all …]
|
| /dports/lang/racket/racket-8.3/share/pkgs/math-lib/math/private/array/ |
| H A D | array-struct.rkt | 7 (except-in "typed-array-struct.rkt"
13 (begin (require (only-in "typed-array-struct.rkt" Array)))
14 "typed-array-struct.rkt"
20 (define-syntax array? (make-rename-transformer #'Array?))
21 (define-syntax array-shape (make-rename-transformer #'Array-shape))
22 (define-syntax array-size (make-rename-transformer #'Array-size))
23 (define-syntax unsafe-array-proc (make-rename-transformer #'Array-unsafe-proc))
65 [_:id (raise-syntax-error 'array "not allowed as an expression" stx)]))
|
| /dports/lang/racket/racket-8.3/share/pkgs/typed-racket-lib/typed-racket/rep/ |
| H A D | type-mask.rkt | 37 (define-syntax OR (make-rename-transformer #'unsafe-fxior))
38 (define-syntax AND (make-rename-transformer #'unsafe-fxand))
39 (define-syntax NOT (make-rename-transformer #'unsafe-fxnot))
40 (define-syntax EQUALS? (make-rename-transformer #'unsafe-fx=))
45 ;; (define-syntax OR (make-rename-transformer #'fxior))
46 ;; (define-syntax AND (make-rename-transformer #'fxand))
47 ;; (define-syntax NOT (make-rename-transformer #'fxnot))
48 ;; (define-syntax EQUALS? (make-rename-transformer #'fx=))
97 [(_ name:id ...)
149 mask:struct
[all …]
|
| /dports/lang/racket/racket-8.3/share/pkgs/typed-racket-lib/typed-racket/utils/ |
| H A D | utils.rkt | 117 define-struct/cond-contract
137 (make-rename-transformer #'define)
143 (make-rename-transformer #'provide)
149 (make-rename-transformer #'require)
155 (make-rename-transformer #'begin)
178 (make-rename-transformer #'provide/contract)
182 (pattern [(~datum struct) (~or nm:id (nm:id super:id)) (flds ...)]
184 (pattern [(~datum rename) out:id in:id cnt:expr]
193 (make-rename-transformer #'with-contract)
203 (make-rename-transformer #'define/contract)
[all …]
|
| /dports/lang/racket/racket-8.3/src/expander/syntax/ |
| H A D | full-binding.rkt | 4 (provide (struct-out full-binding)
5 binding-frame-id
6 binding-free=id)
8 ;; A base struct for bindings with a frame identity or
10 (struct full-binding (frame-id ; used to trigger use-site scopes
11 free=id) ; `free-identifier=?` equivalence via a rename-transformer binding
15 (binding-free=id b)))
17 (define (binding-frame-id b)
19 (full-binding-frame-id b)))
21 (define (binding-free=id b)
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/src/expander/syntax/ |
| H A D | full-binding.rkt | 4 (provide (struct-out full-binding)
5 binding-frame-id
6 binding-free=id)
8 ;; A base struct for bindings with a frame identity or
10 (struct full-binding (frame-id ; used to trigger use-site scopes
11 free=id) ; `free-identifier=?` equivalence via a rename-transformer binding
15 (binding-free=id b)))
17 (define (binding-frame-id b)
19 (full-binding-frame-id b)))
21 (define (binding-free=id b)
[all …]
|