| /dports/lang/racket/racket-8.3/src/expander/expand/ |
| H A D | top.rkt | 26 (unless (eq? (expand-context-context ctx) 'top-level)
31 (if (expand-context-to-parsed? ctx)
41 (unless (eq? (expand-context-context ctx) 'top-level)
47 (if (expand-context-to-parsed? ctx)
57 (unless (eq? (expand-context-context ctx) 'top-level)
69 (log-expand ctx 'enter-list (m 'form))
79 (define exp-form (expand (car forms) capture-ctx))
91 (if (expand-context-to-parsed? ctx)
99 (unless (eq? (expand-context-context ctx) 'top-level)
117 ;; Nothing to expand
[all …]
|
| H A D | expr.rkt | 85 (if (expand-context-to-parsed? ctx)
130 (if (expand-context-to-parsed? ctx)
379 (if (expand-context-to-parsed? ctx)
455 (if (expand-context-to-parsed? ctx)
504 (if (expand-context-to-parsed? ctx)
522 (if (expand-context-to-parsed? ctx)
548 (if (expand-context-to-parsed? ctx)
580 ;; In top level or `begin-for-syntax`, encountered a reference to a
602 (log-expand ctx 'prim-#%top s)
622 ;; Allow `#%top` in a module or top-level where it refers to the same
[all …]
|
| H A D | main.rkt | 116 ;; The implicit `#%top` form handles unbound identifiers
161 ;; to handling an id-application form, but there are several little
195 (eq? (core-form-name t) '#%top)
197 (dispatch-implicit-#%top-core-form t s ctx)]
203 (root-expand-context-top-level-bind-scope ctx)
300 ;; `#%top` form without making `#%top` explicit in the form
301 (define (dispatch-implicit-#%top-core-form t s ctx)
483 ;; if the macro expands to a definition form, the binding will be
733 ;; `rebuild`, including in a `parsed` record, or to provide a form
750 [(expand-context-to-parsed? ctx)
[all …]
|
| H A D | local-expand.rkt | 71 #:to-parsed-ok? [to-parsed-ok? #f]
76 #:track-to-be-defined? [track-to-be-defined? #f]
84 '(expression top-level)
85 '(expression top-level module module-begin))))
88 "(or/c 'expression 'top-level list?)"
89 "(or/c 'expression 'top-level 'module 'module-begin list?)")
107 #:to-parsed-ok? to-parsed-ok?
111 #:track-to-be-defined? track-to-be-defined?))
130 #:begin-form? #t
138 #:begin-form? (eq? 'top-level context)
[all …]
|
| H A D | syntax-implicit-error.rkt | 10 (define phase (expand-context-phase ctx))
15 [(#%top)
16 (if (expand-context-allow-unbound? ctx)
17 "reference to a top-level identifier"
18 "reference to an unbound identifier")]))
20 (define unbound-form (and unbound?
33 (or unbound-form
36 (and unbound-form trigger-id)
|
| /dports/lang/racket-minimal/racket-8.3/src/expander/expand/ |
| H A D | top.rkt | 26 (unless (eq? (expand-context-context ctx) 'top-level)
31 (if (expand-context-to-parsed? ctx)
41 (unless (eq? (expand-context-context ctx) 'top-level)
47 (if (expand-context-to-parsed? ctx)
57 (unless (eq? (expand-context-context ctx) 'top-level)
69 (log-expand ctx 'enter-list (m 'form))
79 (define exp-form (expand (car forms) capture-ctx))
91 (if (expand-context-to-parsed? ctx)
99 (unless (eq? (expand-context-context ctx) 'top-level)
117 ;; Nothing to expand
[all …]
|
| H A D | expr.rkt | 85 (if (expand-context-to-parsed? ctx)
130 (if (expand-context-to-parsed? ctx)
379 (if (expand-context-to-parsed? ctx)
455 (if (expand-context-to-parsed? ctx)
504 (if (expand-context-to-parsed? ctx)
522 (if (expand-context-to-parsed? ctx)
548 (if (expand-context-to-parsed? ctx)
580 ;; In top level or `begin-for-syntax`, encountered a reference to a
602 (log-expand ctx 'prim-#%top s)
622 ;; Allow `#%top` in a module or top-level where it refers to the same
[all …]
|
| H A D | main.rkt | 116 ;; The implicit `#%top` form handles unbound identifiers
161 ;; to handling an id-application form, but there are several little
195 (eq? (core-form-name t) '#%top)
197 (dispatch-implicit-#%top-core-form t s ctx)]
203 (root-expand-context-top-level-bind-scope ctx)
300 ;; `#%top` form without making `#%top` explicit in the form
301 (define (dispatch-implicit-#%top-core-form t s ctx)
483 ;; if the macro expands to a definition form, the binding will be
733 ;; `rebuild`, including in a `parsed` record, or to provide a form
750 [(expand-context-to-parsed? ctx)
[all …]
|
| H A D | local-expand.rkt | 71 #:to-parsed-ok? [to-parsed-ok? #f]
76 #:track-to-be-defined? [track-to-be-defined? #f]
84 '(expression top-level)
85 '(expression top-level module module-begin))))
88 "(or/c 'expression 'top-level list?)"
89 "(or/c 'expression 'top-level 'module 'module-begin list?)")
107 #:to-parsed-ok? to-parsed-ok?
111 #:track-to-be-defined? track-to-be-defined?))
130 #:begin-form? #t
138 #:begin-form? (eq? 'top-level context)
[all …]
|
| H A D | syntax-implicit-error.rkt | 10 (define phase (expand-context-phase ctx))
15 [(#%top)
16 (if (expand-context-allow-unbound? ctx)
17 "reference to a top-level identifier"
18 "reference to an unbound identifier")]))
20 (define unbound-form (and unbound?
33 (or unbound-form
36 (and unbound-form trigger-id)
|
| H A D | context.rkt | 40 ;; partially expand forms on the way to a parsed result.
43 (to-parsed? ; #t => "expand" to a parsed form; #f => normal expand
44 * context ; 'expression, 'module, or 'top-level
87 (root-expand-context-top-level-bind-scope root-ctx)
95 'top-level
133 …[top-level-bind-scope #:parent root-expand-context (root-expand-context-top-level-bind-scope root-…
160 ;; entry points in "../eval/main.rkt" to set the expand-context
189 ;; in an `begin` form, possibly in a 'top-level or 'module context
216 ;; Adjust `ctx` to to generate a parsed result
229 (define phase-to-ids (and ctx (expand-context-need-eventually-defined ctx)))
[all …]
|
| /dports/lang/racket/racket-8.3/share/pkgs/racket-doc/scribblings/reference/ |
| H A D | stx-expand.scrbl | 7 @defproc[(expand [top-level-form any/c]
11 Expands all non-primitive syntax in @racket[top-level-form], and
15 Before @racket[top-level-form] is expanded, its lexical context is
35 Here's an example of using @racket[expand] on a non-top-level form:
60 @defproc[(expand-once [top-level-form any/c]
70 Before @racket[top-level-form] is expanded, its lexical context is
91 @defproc[(expand-to-top-form [top-level-form any/c]
95 Partially expands @racket[top-level-form] to reveal the outermost
99 @racket[expand-to-top-form] with @racket[expand] produces the same
112 @defproc[(expand-syntax-to-top-form [stx syntax?]
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/src/expander/eval/ |
| H A D | api.rkt | 11 ;; These wrappers implement the protocol for whether to use
12 ;; `namespace-synatx-introduce` on the argument to `eval`, etc.
20 expand
21 expand-syntax
23 expand-to-top-form
24 expand-syntax-to-top-form
26 expand-once
81 (define/who (expand-to-top-form s [insp (current-code-inspector)])
85 (direct:expand-to-top-form (intro s))))
87 (define/who (expand-syntax-to-top-form s [insp (current-code-inspector)])
[all …]
|
| H A D | main.rkt | 36 expand-to-top-form)
126 ;; existed) to be called by `expand` and `expand-syntax`.
133 (when observer (...log-expand observer ['start-top]))
143 (define (expand-single s ns observer to-parsed?
159 #:adjust-form (lambda (form)
160 (expand-single form ns observer to-parsed?
168 (expand-single new-s ns observer to-parsed?
190 (define (expand-to-top-form s [ns (current-namespace)])
194 (when observer (...log-expand observer ['start-top]))
313 ['expand 'top]
[all …]
|
| /dports/lang/racket/racket-8.3/src/expander/eval/ |
| H A D | api.rkt | 11 ;; These wrappers implement the protocol for whether to use
12 ;; `namespace-synatx-introduce` on the argument to `eval`, etc.
20 expand
21 expand-syntax
23 expand-to-top-form
24 expand-syntax-to-top-form
26 expand-once
81 (define/who (expand-to-top-form s [insp (current-code-inspector)])
85 (direct:expand-to-top-form (intro s))))
87 (define/who (expand-syntax-to-top-form s [insp (current-code-inspector)])
[all …]
|
| H A D | main.rkt | 36 expand-to-top-form)
126 ;; existed) to be called by `expand` and `expand-syntax`.
133 (when observer (...log-expand observer ['start-top]))
143 (define (expand-single s ns observer to-parsed?
159 #:adjust-form (lambda (form)
160 (expand-single form ns observer to-parsed?
168 (expand-single new-s ns observer to-parsed?
190 (define (expand-to-top-form s [ns (current-namespace)])
194 (when observer (...log-expand observer ['start-top]))
313 ['expand 'top]
[all …]
|
| /dports/lang/racket/racket-8.3/collects/syntax/ |
| H A D | toplevel.rkt | 7 expand-top-level-with-compile-time-evals
8 expand-syntax-top-level-with-compile-time-evals
9 expand-syntax-top-level-with-compile-time-evals/flatten)
20 (define (expand-top-level-with-compile-time-evals stx)
21 (expand-syntax-top-level-with-compile-time-evals
25 (define (expand-syntax-top-level-with-compile-time-evals/flatten stx)
27 (let ([e (expand-syntax-to-top-form stx)])
36 (define (expand-syntax-top-level-with-compile-time-evals stx)
37 (let ([e (expand-syntax-to-top-form stx)])
42 (map expand-syntax-top-level-with-compile-time-evals
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/collects/syntax/ |
| H A D | toplevel.rkt | 7 expand-top-level-with-compile-time-evals
8 expand-syntax-top-level-with-compile-time-evals
9 expand-syntax-top-level-with-compile-time-evals/flatten)
20 (define (expand-top-level-with-compile-time-evals stx)
21 (expand-syntax-top-level-with-compile-time-evals
25 (define (expand-syntax-top-level-with-compile-time-evals/flatten stx)
27 (let ([e (expand-syntax-to-top-form stx)])
36 (define (expand-syntax-top-level-with-compile-time-evals stx)
37 (let ([e (expand-syntax-to-top-form stx)])
42 (map expand-syntax-top-level-with-compile-time-evals
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/src/expander/boot/ |
| H A D | main-primitive.rkt | 22 'expand wrapper:expand
23 'expand-syntax wrapper:expand-syntax
24 'expand-once wrapper:expand-once
25 'expand-syntax-once wrapper:expand-syntax-once
26 'expand-to-top-form wrapper:expand-to-top-form
27 'expand-syntax-to-top-form wrapper:expand-syntax-to-top-form
|
| /dports/lang/racket/racket-8.3/src/expander/boot/ |
| H A D | main-primitive.rkt | 22 'expand wrapper:expand
23 'expand-syntax wrapper:expand-syntax
24 'expand-once wrapper:expand-once
25 'expand-syntax-once wrapper:expand-syntax-once
26 'expand-to-top-form wrapper:expand-to-top-form
27 'expand-syntax-to-top-form wrapper:expand-syntax-to-top-form
|
| /dports/lang/racket-minimal/racket-8.3/src/expander/compile/ |
| H A D | top.rkt | 7 "../expand/root-expand-context.rkt"
8 "../expand/parsed.rkt"
20 "form.rkt"
21 "multi-top.rkt"
27 compile-top)
32 (compile-top p cctx
36 ;; Compile a single form, which can be a `define-values` form, a
37 ;; `define-syntaxes` form, a `begin` form, or an expression. If
82 #:other-form-callback (lambda (s cctx)
166 `(,top-level-require!-id ,form-stx ,ns-id)]
[all …]
|
| /dports/lang/racket/racket-8.3/src/expander/compile/ |
| H A D | top.rkt | 7 "../expand/root-expand-context.rkt"
8 "../expand/parsed.rkt"
20 "form.rkt"
21 "multi-top.rkt"
27 compile-top)
32 (compile-top p cctx
36 ;; Compile a single form, which can be a `define-values` form, a
37 ;; `define-syntaxes` form, a `begin` form, or an expression. If
82 #:other-form-callback (lambda (s cctx)
166 `(,top-level-require!-id ,form-stx ,ns-id)]
[all …]
|
| /dports/lang/racket/racket-8.3/collects/racket/ |
| H A D | splicing.rkt | 69 (with-syntax ([(top-decl ...)
75 top-decl ...
129 (if (and need-top-decl? (equal? 'top-level (syntax-local-context)))
144 ;; Add the mark to every definition's identifiers; also
145 ;; add to the body, if it's a recursively scoped binding:
154 ;; Tenatively add the mark to the body,; we'll remove it on every
155 ;; bit of syntax that turns out to be a binding:
308 ;; Partially expand `body' to push down `let-syntax':
318 (local-expand #'(force-expand body)
387 (expand-ssp-body new-binds orig-ids form) ...))]
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/collects/racket/ |
| H A D | splicing.rkt | 69 (with-syntax ([(top-decl ...)
75 top-decl ...
129 (if (and need-top-decl? (equal? 'top-level (syntax-local-context)))
144 ;; Add the mark to every definition's identifiers; also
145 ;; add to the body, if it's a recursively scoped binding:
154 ;; Tenatively add the mark to the body,; we'll remove it on every
155 ;; bit of syntax that turns out to be a binding:
308 ;; Partially expand `body' to push down `let-syntax':
318 (local-expand #'(force-expand body)
387 (expand-ssp-body new-binds orig-ids form) ...))]
[all …]
|
| /dports/math/maxima/maxima-5.43.2/demo/ |
| H A D | macex.dem | 11 of the form:
61 /* the nested caseq doesn't expand because macroexpand and
62 macroexpand1 only look at the top level function. to expand all
72 to the time it takes to expand it from scratch and then eval. */
80 ev(form);
82 macroexpansion:expand;
84 ev(form);
89 ev(form);
97 form;
104 form;
[all …]
|