| /dports/lang/racket/racket-8.3/src/expander/expand/ |
| H A D | top.rkt | 23 'define-values
25 (log-expand ctx 'prim-define-values s)
28 (define-match m s '(define-values (id ...) rhs))
29 (define-values (ids syms) (as-expand-time-top-level-bindings (m 'id) s ctx))
30 (define exp-rhs (expand (m 'rhs) (as-named-context (as-expression-context ctx) ids)))
32 (parsed-define-values s ids syms exp-rhs)
35 `(,(m 'define-values) ,ids ,exp-rhs)))))
43 (define-match m s '(define-syntaxes (id ...) rhs))
46 (define exp-rhs (expand-transformer (m 'rhs) (as-named-context ctx ids)))
48 (parsed-define-syntaxes s ids syms exp-rhs)
[all …]
|
| H A D | expr.rkt | 72 (values (if (expand-context-to-parsed? ctx)
83 (define-values (formals body)
125 (define-values (exp-formals exp-body)
183 '(let-values ([(id:val ...) val-rhs] ...)
209 (define val-rhss (let ([val-rhss (if syntaxes? (stx-m 'val-rhs) (val-m 'val-rhs))])
298 (define letrec-values-id
329 (define exp-rhs (expand rhs (if rec?
670 (define-match m s '(set! id rhs))
694 (define exp-rhs (expand (m 'rhs) (as-expression-context ctx)))
696 (parsed-set! rebuild-s (parsed-id id binding #f) exp-rhs)
[all …]
|
| H A D | parsed.rkt | 15 (struct parsed-top-id parsed-id () #:authentic)
21 (struct parsed-set! parsed (id rhs) #:authentic)
24 (struct parsed-begin parsed (body) #:authentic)
25 (struct parsed-begin0 parsed (body) #:authentic)
29 (struct parsed-let_-values parsed (idss clauses body) #:authentic)
30 (struct parsed-let-values parsed-let_-values () #:authentic)
31 (struct parsed-letrec-values parsed-let_-values () #:authentic)
33 (struct parsed-define-values parsed (ids syms rhs) #:authentic)
34 (struct parsed-define-syntaxes parsed (ids syms rhs) #:authentic)
38 (struct parsed-require parsed () #:authentic)
[all …]
|
| H A D | module.rkt | 794 (define-match m exp-body '(define-values (id ...) rhs))
809 (semi-parsed-define-values exp-body syms ids (m 'rhs))
835 (define-values (exp-rhs parsed-rhs vals)
941 (semi-parsed-define-values s syms scoped-ids rhs))))
1003 (expand (semi-parsed-define-values-rhs body) rhs-ctx)))
1017 `(,(m 'define-values) ,ids ,exp-rhs))
1328 [(parsed-define-values? p)
1330 (define ids (parsed-define-values-ids p))
1331 (eval-for-bindings 'define-values ids (parsed-define-values-rhs p) phase m-ns ctx
1480 (datum->syntax #f `(define-values ,(semi-parsed-define-values-ids defn)
[all …]
|
| H A D | main.rkt | 120 (define-values (t primitive? insp-of-t protected?)
335 (define-values (exp-s re-ctx)
596 … (wrap-lifts-as-parsed-let lifts exp-s rebuild-s ctx (lambda (rhs rhs-ctx) (loop rhs #f rhs-ctx)))]
666 (define parsed-rhs (if (expand-context-to-parsed? ctx)
671 (values exp-rhs
672 parsed-rhs
675 parsed-rhs
686 (define-values (exp-rhs parsed-rhs vals)
782 (define (wrap-lifts-as-parsed-let lifts exp-s rebuild-s ctx parse-rhs)
791 (define exp-rhs (parse-rhs rhs rhs-ctx))
[all …]
|
| H A D | cross-phase.rkt | 22 (define p (if (expanded+parsed? body)
26 [(parsed-define-values? p)
27 (check-expr (parsed-define-values-rhs p) (length (parsed-define-values-syms p)) p)]
47 (define rands (parsed-app-rands e))
90 (define id (parsed-set!-id e))
91 (define normal-b (parsed-id-binding id))
97 (check-no-disallowed-expr (parsed-set!-rhs e))]
106 [(parsed-let_-values? e)
107 (for ([clause (in-list (parsed-let_-values-clauses e))])
109 (check-body-no-disallowed-expr (parsed-let_-values-body e))]
[all …]
|
| H A D | body.rkt | 12 "../expand/parsed.rkt"
124 [(define-values)
128 (define-match m exp-body '(define-values (id ...) rhs))
178 (define-match m exp-body '(define-syntaxes (id ...) rhs))
191 (define vals (eval-for-syntaxes-binding 'define-syntaxes (m 'rhs) ids body-ctx))
342 (parsed-let-values (keep-properties-only s) null null exp-body)
343 (parsed-letrec-values (keep-properties-only s)
375 (parsed-let-values (keep-properties-only s)
393 (parsed-letrec-values (keep-properties-only s)
420 (define (build-clause ids rhs track-stx)
[all …]
|
| H A D | expanded+parsed.rkt | 9 (struct-out semi-parsed-define-values)
18 (struct expanded+parsed (s parsed) #:authentic)
20 ;; A `define-values` or `begin-for-syntax-form` is in limbo though
22 (struct semi-parsed-define-values (s syms ids rhs) #:authentic)
25 (define (extract-syntax s)
30 (define (parsed-only l)
37 (expanded+parsed-parsed i)]
43 (define (syntax-only l)
53 (define s (semi-parsed-begin-for-syntax-s i))
54 (define nested-bodys (semi-parsed-begin-for-syntax-body i))
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/src/expander/expand/ |
| H A D | top.rkt | 23 'define-values
25 (log-expand ctx 'prim-define-values s)
28 (define-match m s '(define-values (id ...) rhs))
29 (define-values (ids syms) (as-expand-time-top-level-bindings (m 'id) s ctx))
30 (define exp-rhs (expand (m 'rhs) (as-named-context (as-expression-context ctx) ids)))
32 (parsed-define-values s ids syms exp-rhs)
35 `(,(m 'define-values) ,ids ,exp-rhs)))))
43 (define-match m s '(define-syntaxes (id ...) rhs))
46 (define exp-rhs (expand-transformer (m 'rhs) (as-named-context ctx ids)))
48 (parsed-define-syntaxes s ids syms exp-rhs)
[all …]
|
| H A D | expr.rkt | 72 (values (if (expand-context-to-parsed? ctx)
83 (define-values (formals body)
125 (define-values (exp-formals exp-body)
183 '(let-values ([(id:val ...) val-rhs] ...)
209 (define val-rhss (let ([val-rhss (if syntaxes? (stx-m 'val-rhs) (val-m 'val-rhs))])
298 (define letrec-values-id
329 (define exp-rhs (expand rhs (if rec?
670 (define-match m s '(set! id rhs))
694 (define exp-rhs (expand (m 'rhs) (as-expression-context ctx)))
696 (parsed-set! rebuild-s (parsed-id id binding #f) exp-rhs)
[all …]
|
| H A D | parsed.rkt | 15 (struct parsed-top-id parsed-id () #:authentic)
21 (struct parsed-set! parsed (id rhs) #:authentic)
24 (struct parsed-begin parsed (body) #:authentic)
25 (struct parsed-begin0 parsed (body) #:authentic)
29 (struct parsed-let_-values parsed (idss clauses body) #:authentic)
30 (struct parsed-let-values parsed-let_-values () #:authentic)
31 (struct parsed-letrec-values parsed-let_-values () #:authentic)
33 (struct parsed-define-values parsed (ids syms rhs) #:authentic)
34 (struct parsed-define-syntaxes parsed (ids syms rhs) #:authentic)
38 (struct parsed-require parsed () #:authentic)
[all …]
|
| H A D | module.rkt | 794 (define-match m exp-body '(define-values (id ...) rhs))
809 (semi-parsed-define-values exp-body syms ids (m 'rhs))
835 (define-values (exp-rhs parsed-rhs vals)
941 (semi-parsed-define-values s syms scoped-ids rhs))))
1003 (expand (semi-parsed-define-values-rhs body) rhs-ctx)))
1017 `(,(m 'define-values) ,ids ,exp-rhs))
1328 [(parsed-define-values? p)
1330 (define ids (parsed-define-values-ids p))
1331 (eval-for-bindings 'define-values ids (parsed-define-values-rhs p) phase m-ns ctx
1480 (datum->syntax #f `(define-values ,(semi-parsed-define-values-ids defn)
[all …]
|
| H A D | main.rkt | 120 (define-values (t primitive? insp-of-t protected?)
335 (define-values (exp-s re-ctx)
596 … (wrap-lifts-as-parsed-let lifts exp-s rebuild-s ctx (lambda (rhs rhs-ctx) (loop rhs #f rhs-ctx)))]
666 (define parsed-rhs (if (expand-context-to-parsed? ctx)
671 (values exp-rhs
672 parsed-rhs
675 parsed-rhs
686 (define-values (exp-rhs parsed-rhs vals)
782 (define (wrap-lifts-as-parsed-let lifts exp-s rebuild-s ctx parse-rhs)
791 (define exp-rhs (parse-rhs rhs rhs-ctx))
[all …]
|
| H A D | cross-phase.rkt | 22 (define p (if (expanded+parsed? body)
26 [(parsed-define-values? p)
27 (check-expr (parsed-define-values-rhs p) (length (parsed-define-values-syms p)) p)]
47 (define rands (parsed-app-rands e))
90 (define id (parsed-set!-id e))
91 (define normal-b (parsed-id-binding id))
97 (check-no-disallowed-expr (parsed-set!-rhs e))]
106 [(parsed-let_-values? e)
107 (for ([clause (in-list (parsed-let_-values-clauses e))])
109 (check-body-no-disallowed-expr (parsed-let_-values-body e))]
[all …]
|
| H A D | body.rkt | 12 "../expand/parsed.rkt"
124 [(define-values)
128 (define-match m exp-body '(define-values (id ...) rhs))
178 (define-match m exp-body '(define-syntaxes (id ...) rhs))
191 (define vals (eval-for-syntaxes-binding 'define-syntaxes (m 'rhs) ids body-ctx))
342 (parsed-let-values (keep-properties-only s) null null exp-body)
343 (parsed-letrec-values (keep-properties-only s)
375 (parsed-let-values (keep-properties-only s)
393 (parsed-letrec-values (keep-properties-only s)
420 (define (build-clause ids rhs track-stx)
[all …]
|
| H A D | expanded+parsed.rkt | 9 (struct-out semi-parsed-define-values)
18 (struct expanded+parsed (s parsed) #:authentic)
20 ;; A `define-values` or `begin-for-syntax-form` is in limbo though
22 (struct semi-parsed-define-values (s syms ids rhs) #:authentic)
25 (define (extract-syntax s)
30 (define (parsed-only l)
37 (expanded+parsed-parsed i)]
43 (define (syntax-only l)
53 (define s (semi-parsed-begin-for-syntax-s i))
54 (define nested-bodys (semi-parsed-begin-for-syntax-body i))
[all …]
|
| /dports/lang/racket/racket-8.3/src/expander/compile/ |
| H A D | form.rkt | 89 [(parsed-define-values? body)
90 (for ([sym (in-list (parsed-define-values-syms body))])
112 [(parsed-define-values? body)
113 (define ids (parsed-define-values-ids body))
114 (define binding-syms (parsed-define-values-syms body))
134 (define rhs (compile (parsed-define-values-rhs body)
143 (correlate* (parsed-s body) `(define-values ,def-syms ,rhs))
162 [(parsed-define-syntaxes? body)
163 (define ids (parsed-define-syntaxes-ids body))
170 (define rhs (compile (parsed-define-syntaxes-rhs body)
[all …]
|
| H A D | expr.rkt | 40 (define s (parsed-s p))
62 (define rands (parsed-app-rands p))
94 … #:set-to (compile (parsed-set!-rhs p) (parsed-s (parsed-set!-id p)) #t))))]
95 [(parsed-let-values? p)
97 [(parsed-letrec-values? p)
162 (define body (parsed-let_-values-body p))
164 `(,(if rec? 'letrec-values 'let-values)
165 ,(for/list ([clause (in-list (parsed-let_-values-clauses p))]
166 [ids (in-list (parsed-let_-values-idss p))])
183 (define (compile-identifier p cctx #:set-to? [set-to? #f] #:set-to [rhs #f])
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/src/expander/compile/ |
| H A D | form.rkt | 89 [(parsed-define-values? body)
90 (for ([sym (in-list (parsed-define-values-syms body))])
112 [(parsed-define-values? body)
113 (define ids (parsed-define-values-ids body))
114 (define binding-syms (parsed-define-values-syms body))
134 (define rhs (compile (parsed-define-values-rhs body)
143 (correlate* (parsed-s body) `(define-values ,def-syms ,rhs))
162 [(parsed-define-syntaxes? body)
163 (define ids (parsed-define-syntaxes-ids body))
170 (define rhs (compile (parsed-define-syntaxes-rhs body)
[all …]
|
| H A D | expr.rkt | 40 (define s (parsed-s p))
62 (define rands (parsed-app-rands p))
94 … #:set-to (compile (parsed-set!-rhs p) (parsed-s (parsed-set!-id p)) #t))))]
95 [(parsed-let-values? p)
97 [(parsed-letrec-values? p)
162 (define body (parsed-let_-values-body p))
164 `(,(if rec? 'letrec-values 'let-values)
165 ,(for/list ([clause (in-list (parsed-let_-values-clauses p))]
166 [ids (in-list (parsed-let_-values-idss p))])
183 (define (compile-identifier p cctx #:set-to? [set-to? #f] #:set-to [rhs #f])
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/src/expander/eval/ |
| H A D | main.rkt | 143 (define (expand-single s ns observer to-parsed?
152 (define-values (require-lifts lifts exp-s) (expand-capturing-lifts s ctx))
180 (define-values (require-lifts lifts exp-s)
225 (define-values (require-lifts lifts exp-s)
342 (define (wrap-lifts-as-lifted-parsed-begin require-lifts
350 (define exp-rhs (adjust-form (caddr ids+syms+rhs)))
351 (define just-rhs (if (lifted-parsed-begin? exp-rhs)
352 (lifted-parsed-begin-last exp-rhs)
355 (parsed-define-values rebuild-s
359 (if (lifted-parsed-begin? exp-rhs)
[all …]
|
| /dports/lang/racket/racket-8.3/src/expander/eval/ |
| H A D | main.rkt | 143 (define (expand-single s ns observer to-parsed?
152 (define-values (require-lifts lifts exp-s) (expand-capturing-lifts s ctx))
180 (define-values (require-lifts lifts exp-s)
225 (define-values (require-lifts lifts exp-s)
342 (define (wrap-lifts-as-lifted-parsed-begin require-lifts
350 (define exp-rhs (adjust-form (caddr ids+syms+rhs)))
351 (define just-rhs (if (lifted-parsed-begin? exp-rhs)
352 (lifted-parsed-begin-last exp-rhs)
355 (parsed-define-values rebuild-s
359 (if (lifted-parsed-begin? exp-rhs)
[all …]
|
| /dports/lang/racket/racket-8.3/share/pkgs/parser-tools-lib/parser-tools/private-yacc/ |
| H A D | input-file-parser.rkt | 13 (define (is-a-grammar%? x) (is-a? x grammar%))
21 ;; get-args: ??? -> (values (listof syntax) (or/c #f (cons integer? stx)))
22 (define (get-args i rhs src-pos term-defs)
35 (rhs rhs))
57 (values args biggest-pos))))
62 (define (build-terms term-list precs)
92 (define (get-terms-from-def term-syn)
103 (define (get-term-list term-group-names)
261 (let-values ([(args biggest) (get-args 1 (syntax->list rhs) src-pos term-defs)])
344 (parsed-prods (map parse-prods-for-nt (syntax->list prods)))
[all …]
|
| /dports/lang/racket/racket-8.3/collects/racket/private/ |
| H A D | for.rkt | 223 [[(id) (values rhs)]
375 (define-values (struct:do-sequence
540 (define-values (struct:range
618 (define-values (struct:list-stream
1141 (define (in-values-sequence g)
1157 (define (in-values*-sequence g)
1279 (define-values (struct:do-stream
1423 (define-syntax values*
1620 [parsed-any-opts? #f]
1635 (not parsed-any-opts?)
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/collects/racket/private/ |
| H A D | for.rkt | 223 [[(id) (values rhs)]
375 (define-values (struct:do-sequence
540 (define-values (struct:range
618 (define-values (struct:list-stream
1141 (define (in-values-sequence g)
1157 (define (in-values*-sequence g)
1279 (define-values (struct:do-stream
1423 (define-syntax values*
1620 [parsed-any-opts? #f]
1635 (not parsed-any-opts?)
[all …]
|