| /dports/lang/racket-minimal/racket-8.3/src/expander/ |
| H A D | demo.rkt | 223 "use-site scope remove from binding position"
278 "non-transformer binding misuse"
540 (eval-expression '(letrec-syntaxes+values
559 (eval-expression '(letrec-syntaxes+values
609 (eval-expression '(define-syntaxes (top-m) (lambda (stx)
615 (eval-expression '(define-syntaxes (top-def-top-x)
754 (eval-module-declaration '(module forward-reference-in-begin-for-syntax '#%kernel
1008 (eval-module-declaration '(module provides-original-binding '#%kernel
1034 ;; syntax-local-value of module binding
1266 (eval-module-declaration '(module imports-title-for-label '#%kernel
[all …]
|
| /dports/lang/racket/racket-8.3/src/expander/ |
| H A D | demo.rkt | 223 "use-site scope remove from binding position"
278 "non-transformer binding misuse"
540 (eval-expression '(letrec-syntaxes+values
559 (eval-expression '(letrec-syntaxes+values
609 (eval-expression '(define-syntaxes (top-m) (lambda (stx)
615 (eval-expression '(define-syntaxes (top-def-top-x)
754 (eval-module-declaration '(module forward-reference-in-begin-for-syntax '#%kernel
1008 (eval-module-declaration '(module provides-original-binding '#%kernel
1034 ;; syntax-local-value of module binding
1266 (eval-module-declaration '(module imports-title-for-label '#%kernel
[all …]
|
| /dports/lang/racket/racket-8.3/share/pkgs/racket-doc/scribblings/reference/ |
| H A D | splicing.scrbl | 2 @(require "mz.rkt" (for-label racket/splicing racket/stxparam racket/local))
20 @defidform[splicing-let-syntaxes]
21 @defidform[splicing-letrec-syntaxes]
22 @defidform[splicing-letrec-syntaxes+values]
29 @racket[let-syntaxes], @racket[letrec-syntaxes],
30 @racket[letrec-syntaxes+values], @racket[local], and
33 way as for @racket[begin]).
36 #:eval splice-eval
43 When a splicing binding form occurs in a @tech{top-level context} or
50 #:eval splice-eval
[all …]
|
| H A D | syntax-model.scrbl | 4 @(define racket-eval (make-base-eval))
5 @examples[#:hidden #:eval racket-eval (require (for-syntax racket/base))]
261 define-values define-syntaxes begin-for-syntax
334 @racket[begin-for-syntax] and/or @racket[define-syntaxes] forms---not
592 expander encounters a @racket[define-syntaxes] form, the binding that
741 evaluated in the same way as for @racket[define-syntaxes]. However,
764 #:eval racket-eval
792 (eval:check (stashed-id-binding) 'lexical))
908 and it also evaluates all expressions for @racket[define-syntaxes]
988 the @racket[define-syntaxes] form avoids binding an identifier if the
[all …]
|
| H A D | define-struct.scrbl | 36 #:omit-define-syntaxes
61 a @tech{transformer} binding that encapsulates
62 information about the structure type declaration. This binding
65 information about the binding of @racket[name-id], see
101 If @racket[super-id] is provided, it must have a transformer binding
189 with @racket[#:omit-define-syntaxes].
198 binding of @racket[name-id] records @racket[constructor-id] as the
199 constructor binding; as a result, for example, @racket[struct-out]
233 @racket[gen:name-id] must be a transformer binding for the static
250 If the @racket[#:omit-define-syntaxes] option is supplied, then
[all …]
|
| H A D | stx-trans.scrbl | 13 @(define stx-eval (make-base-eval))
14 @examples[#:hidden #:eval stx-eval (require (for-syntax racket/base))]
48 #:eval stx-eval
114 @examples[#:eval stx-eval
163 @examples[#:eval stx-eval
829 @examples[#:eval (make-base-eval '(require (for-syntax racket/base syntax/parse)))
848 @racket[letrec-syntaxes+values], @racket[define-syntaxes],
856 @racket[letrec-syntaxes+values] or @racket[define-syntaxes] binding is
1060 @tech{binding spaces} that have been used, so far, for binding within
1392 #:eval stx-eval
[all …]
|
| H A D | syntax.scrbl | 540 is impossible to import a binding for an uninterned symbol). This
625 binding that is not for @racket[phase-level], where @racket[#f] for
660 binding that is not provided for the @tech{binding space} identifier by
707 A binding is moved to the new space by removing the scope for the
1248 When providing a binding for a non-default binding space, normally a
1249 module should also provide a binding for the default binding space,
2247 The @racket[letrec-syntaxes+values] form is the core form for local
2276 @racket[letrec-syntaxes+values] for a fully-expanded expression.
2569 At the top level, the top-level binding for each @racket[id] is
2639 (define-syntaxes (foo1 foo2 foo3)
[all …]
|
| /dports/lang/racket/racket-8.3/share/pkgs/racket-doc/syntax/scribblings/parse/ |
| H A D | litconv.scrbl | 8 @(define the-eval (make-sp-eval))
43 @examples[#:eval the-eval
45 (define-values define-syntaxes))
46 (syntax-parse #'(define-syntaxes (x) 12)
49 [(define-syntaxes (x:id ...) e:expr) 's])
87 option, the literals' fixed bindings are compared against the binding of
98 whose binding at phase 1 is the @racket[x] from module
107 phase @racket[_phase] at which to examine the binding of @racket[_id];
111 @examples[#:eval the-eval
135 @examples[#:eval the-eval
[all …]
|
| /dports/lang/racket/racket-8.3/share/pkgs/racket-doc/compatibility/scribblings/ |
| H A D | package.scrbl | 4 @(define pack-eval (make-base-eval))
15 Use of packages for modern Racket code is discouraged.
50 @racket[define*-syntaxes], and
54 binding from preceding @racket[form]s (even if the preceding binding
60 #:eval pack-eval
81 definitions without binding a package name. If the last @racket[form]
94 #:eval pack-eval
105 @defidform[define*-syntaxes]
110 @racket[define-syntax], @racket[define-syntaxes],
116 #:eval pack-eval
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/src/expander/expand/ |
| H A D | body.rkt | 8 "../syntax/binding.rkt"
62 ;; Increment the binding layer relative to `ctx` when we encounter a binding
79 [trans-stxs null] ; accumulated `define-syntaxes` forms for tracking
82 [just-saw-define-syntaxes? #f]) ; make sure that `define-syntaxes` isn't last
93 #:just-saw-define-syntaxes? just-saw-define-syntaxes?
123 just-saw-define-syntaxes?)]
173 [(define-syntaxes)
191 (define vals (eval-for-syntaxes-binding 'define-syntaxes (m 'rhs) ids body-ctx))
255 #:just-saw-define-syntaxes? just-saw-define-syntaxes?
260 just-saw-define-syntaxes?)
[all …]
|
| H A D | expr.rkt | 170 ;; Common expansion for `let[rec]-[syntaxes+]values`
172 #:syntaxes? [syntaxes? #f]
178 '(letrec-syntaxes+values
187 (when (and syntaxes? (not sc))
196 (define trans-idss (for/list ([ids (in-list (if syntaxes? (stx-m 'id:trans) null))])
216 [syntaxes?
250 (when syntaxes?
256 (define trans-val (eval-for-syntaxes-binding 'letrec-syntaxes+values
276 (when syntaxes?
300 (if syntaxes?
[all …]
|
| H A D | main.rkt | 24 "../eval/top.rkt"
25 "../eval/direct.rkt"
53 expand+eval-for-syntaxes-binding
55 eval-for-syntaxes-binding
56 eval-for-bindings
209 ;; have a binding for `#%top`, but it's bound temporaily for compilation;
661 (define (expand+eval-for-syntaxes-binding who rhs ids ctx
673 (eval-for-bindings who
685 (define (eval-for-syntaxes-binding who rhs ids ctx)
687 (expand+eval-for-syntaxes-binding who rhs ids ctx))
[all …]
|
| H A D | definition-context.rkt | 2 (require (for-syntax racket/base)
7 "../syntax/binding.rkt"
22 syntax-local-bind-syntaxes
23 internal-definition-context-binding-identifiers
44 … env-mixins ; bindings for this context: box of list of mix-binding
74 ;; syntax-local-bind-syntaxes
75 (define (syntax-local-bind-syntaxes ids s intdef [extra-intdefs '()])
78 (raise-argument-error 'syntax-local-bind-syntaxes "(listof identifier?)" ids))
80 (raise-argument-error 'syntax-local-bind-syntaxes "(or/c syntax? #f)" s))
120 (define vals (eval-for-syntaxes-binding 'syntax-local-bind-syntaxes input-s ids local-ctx))
[all …]
|
| /dports/lang/racket/racket-8.3/src/expander/expand/ |
| H A D | body.rkt | 8 "../syntax/binding.rkt"
62 ;; Increment the binding layer relative to `ctx` when we encounter a binding
79 [trans-stxs null] ; accumulated `define-syntaxes` forms for tracking
82 [just-saw-define-syntaxes? #f]) ; make sure that `define-syntaxes` isn't last
93 #:just-saw-define-syntaxes? just-saw-define-syntaxes?
123 just-saw-define-syntaxes?)]
173 [(define-syntaxes)
191 (define vals (eval-for-syntaxes-binding 'define-syntaxes (m 'rhs) ids body-ctx))
255 #:just-saw-define-syntaxes? just-saw-define-syntaxes?
260 just-saw-define-syntaxes?)
[all …]
|
| H A D | expr.rkt | 170 ;; Common expansion for `let[rec]-[syntaxes+]values`
172 #:syntaxes? [syntaxes? #f]
178 '(letrec-syntaxes+values
187 (when (and syntaxes? (not sc))
196 (define trans-idss (for/list ([ids (in-list (if syntaxes? (stx-m 'id:trans) null))])
216 [syntaxes?
250 (when syntaxes?
256 (define trans-val (eval-for-syntaxes-binding 'letrec-syntaxes+values
276 (when syntaxes?
300 (if syntaxes?
[all …]
|
| H A D | main.rkt | 24 "../eval/top.rkt"
25 "../eval/direct.rkt"
53 expand+eval-for-syntaxes-binding
55 eval-for-syntaxes-binding
56 eval-for-bindings
209 ;; have a binding for `#%top`, but it's bound temporaily for compilation;
661 (define (expand+eval-for-syntaxes-binding who rhs ids ctx
673 (eval-for-bindings who
685 (define (eval-for-syntaxes-binding who rhs ids ctx)
687 (expand+eval-for-syntaxes-binding who rhs ids ctx))
[all …]
|
| H A D | definition-context.rkt | 2 (require (for-syntax racket/base)
7 "../syntax/binding.rkt"
22 syntax-local-bind-syntaxes
23 internal-definition-context-binding-identifiers
44 … env-mixins ; bindings for this context: box of list of mix-binding
74 ;; syntax-local-bind-syntaxes
75 (define (syntax-local-bind-syntaxes ids s intdef [extra-intdefs '()])
78 (raise-argument-error 'syntax-local-bind-syntaxes "(listof identifier?)" ids))
80 (raise-argument-error 'syntax-local-bind-syntaxes "(or/c syntax? #f)" s))
120 (define vals (eval-for-syntaxes-binding 'syntax-local-bind-syntaxes input-s ids local-ctx))
[all …]
|
| /dports/lang/racket/racket-8.3/share/pkgs/macro-debugger/tests/macro-debugger/tests/ |
| H A D | regression.rkt | 11 ;; Fixed 9/2006: mismatched binding+bound variables
12 (test-case "hiding on binding forms"
43 (trace #'(letrec-syntaxes+values ([(x) (error 'gotcha)]) ()
134 (for ([x (in-list rs)])
138 ;; problem seems to come from define-syntax -> letrec-syntaxes+values
154 (test-case "define-syntaxes rhs calls 'expand'"
178 (eval `(module ,freshname scheme
187 (eval `(require ',freshname))
204 (check-true (for/or ([step rs])
212 (test-case "begin-for-syntax ends with phase1 eval"
[all …]
|
| /dports/lang/racket/racket-8.3/share/pkgs/typed-racket-doc/typed-racket/scribblings/reference/ |
| H A D | typed-units.scrbl | 4 (require (for-label (only-meta-in 0 [except-in typed/racket for]))
7 @(define the-eval (make-base-eval))
9 @(define the-top-eval (make-base-eval))
13 (examples #:eval the-top-eval . args))
54 (define ut:define-syntaxes (racket define-syntaxes))
55 (define ut:define-unit-binding (racket define-unit-binding))
125 (import link-binding ...)
128 #:grammar ([link-binding
168 (import link-binding ...)
176 (import link-binding ...)
[all …]
|
| /dports/lang/racket/racket-8.3/src/expander/compile/ |
| H A D | form.rkt | 80 (define saw-define-syntaxes? #f)
119 (for/list ([binding-sym (in-list binding-syms)]
127 (for/list ([binding-sym (in-list binding-syms)])
162 [(parsed-define-syntaxes? body)
164 (define binding-syms (parsed-define-syntaxes-syms body))
166 (define gen-syms (for/list ([binding-sym (in-list binding-syms)])
176 (define transformer-set!s (for/list ([binding-sym (in-list binding-syms)]
217 ;; see also "../eval/root-context.rkt"
260 ,@(for/list ([binding-sym (in-list (header-binding-syms-in-order
351 ;; To support namespace-relative binding, bundle scope information for
[all …]
|
| H A D | main.rkt | 12 ;; every binding have a unique symbolic name (within the linklet) that
21 ;; right-hand side of a `define-syntaxes` form within a module,
26 ;; binding or transformers must be compiled separately --- normally
27 ;; via `per-top-level` in "../eval/main.rkt". The separarately
31 ;; The generated linklets for a single form include one linklet for
35 ;; Multi-form combinations group the linklet sets for individual
44 ;; linklet per phase plus three linklets for housing potentially
51 ;; deserialization is a little different for modules than top-level
52 ;; forms, because syntax-literal unmarshaling is lazy for modules.
|
| /dports/lang/racket-minimal/racket-8.3/src/expander/compile/ |
| H A D | form.rkt | 80 (define saw-define-syntaxes? #f)
119 (for/list ([binding-sym (in-list binding-syms)]
127 (for/list ([binding-sym (in-list binding-syms)])
162 [(parsed-define-syntaxes? body)
164 (define binding-syms (parsed-define-syntaxes-syms body))
166 (define gen-syms (for/list ([binding-sym (in-list binding-syms)])
176 (define transformer-set!s (for/list ([binding-sym (in-list binding-syms)]
217 ;; see also "../eval/root-context.rkt"
260 ,@(for/list ([binding-sym (in-list (header-binding-syms-in-order
351 ;; To support namespace-relative binding, bundle scope information for
[all …]
|
| H A D | main.rkt | 12 ;; every binding have a unique symbolic name (within the linklet) that
21 ;; right-hand side of a `define-syntaxes` form within a module,
26 ;; binding or transformers must be compiled separately --- normally
27 ;; via `per-top-level` in "../eval/main.rkt". The separarately
31 ;; The generated linklets for a single form include one linklet for
35 ;; Multi-form combinations group the linklet sets for individual
44 ;; linklet per phase plus three linklets for housing potentially
51 ;; deserialization is a little different for modules than top-level
52 ;; forms, because syntax-literal unmarshaling is lazy for modules.
|
| /dports/lang/racket/racket-8.3/share/pkgs/macro-debugger-text-lib/macro-debugger/model/ |
| H A D | trace.rkt | 2 (require (for-syntax racket/base)
92 ;; the bad parts by watching for mismatched bracketing events
144 (add! 'local-value-binding
145 (and y (identifier-binding last-local-value-id)))
202 (for ([req (syntax->list #'(req ...))])
205 (eval/compile stx)]
206 [(define-syntaxes . _)
207 (eval/compile stx)]
208 [(begin-for-syntax . _)
209 (eval/compile stx)]
[all …]
|
| /dports/lang/racket/racket-8.3/share/pkgs/compatibility-doc/mzlib/scribblings/ |
| H A D | etc.scrbl | 3 scribble/eval
12 @(define etc-eval (make-base-eval))
13 @interaction-eval[#:eval etc-eval (require mzlib/etc)]
55 etc. binding, the ``top level'' corresponds to the beginning of the
56 binding's right-hand side. Other forms may redefine ``top level''
66 Similar to @racket[define-syntaxes], but instead of a single body
126 A binding construct that specifies scoping on a per-binding basis
129 an additional keyword tag before the binding variables.
150 binding any variables.}
159 #:eval etc-eval
[all …]
|