Home
last modified time | relevance | path

Searched +refs:parsed +refs:define +refs:values +refs:syms (Results 1 – 25 of 432) sorted by relevance

12345678910>>...18

/dports/lang/racket/racket-8.3/src/expander/compile/
H A Dform.rkt89 [(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))
163 (define ids (parsed-define-syntaxes-ids body))
164 (define binding-syms (parsed-define-syntaxes-syms body))
374 (let-values ([,gen-syms (values ,@(for/list ([s (in-list gen-syms)]) `'#f))])
[all …]
/dports/lang/racket-minimal/racket-8.3/src/expander/compile/
H A Dform.rkt89 [(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))
163 (define ids (parsed-define-syntaxes-ids body))
164 (define binding-syms (parsed-define-syntaxes-syms body))
374 (let-values ([,gen-syms (values ,@(for/list ([s (in-list gen-syms)]) `'#f))])
[all …]
/dports/lang/racket/racket-8.3/src/expander/expand/
H A Dtop.rkt13 "parsed.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))
31 (if (expand-context-to-parsed? ctx)
32 (parsed-define-values s ids syms exp-rhs)
35 `(,(m 'define-values) ,ids ,exp-rhs)))))
44 (define-values (ids syms) (as-expand-time-top-level-bindings (m 'id) s ctx))
48 (parsed-define-syntaxes s ids syms exp-rhs)
[all …]
H A Dmodule.rkt809 (semi-parsed-define-values exp-body syms ids (m 'rhs))
941 (semi-parsed-define-values s syms scoped-ids rhs))))
992 [(semi-parsed-define-values? body)
995 (define syms (semi-parsed-define-values-syms body))
996 (define s (semi-parsed-define-values-s body))
1006 (parsed-define-values rebuild-s ids syms
1328 [(parsed-define-values? p)
1329 (define syms (parsed-define-values-syms 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
[all …]
H A Dparsed.rkt15 (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 Dexpanded+parsed.rkt9 (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 …]
H A Dcross-phase.rkt20 (define (check-body bodys)
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))
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 …]
/dports/lang/racket-minimal/racket-8.3/src/expander/expand/
H A Dtop.rkt13 "parsed.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))
31 (if (expand-context-to-parsed? ctx)
32 (parsed-define-values s ids syms exp-rhs)
35 `(,(m 'define-values) ,ids ,exp-rhs)))))
44 (define-values (ids syms) (as-expand-time-top-level-bindings (m 'id) s ctx))
48 (parsed-define-syntaxes s ids syms exp-rhs)
[all …]
H A Dmodule.rkt809 (semi-parsed-define-values exp-body syms ids (m 'rhs))
941 (semi-parsed-define-values s syms scoped-ids rhs))))
992 [(semi-parsed-define-values? body)
995 (define syms (semi-parsed-define-values-syms body))
996 (define s (semi-parsed-define-values-s body))
1006 (parsed-define-values rebuild-s ids syms
1328 [(parsed-define-values? p)
1329 (define syms (parsed-define-values-syms 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
[all …]
H A Dparsed.rkt15 (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 Dexpanded+parsed.rkt9 (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 …]
H A Dcross-phase.rkt20 (define (check-body bodys)
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))
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 …]
/dports/lang/racket-minimal/racket-8.3/src/expander/eval/
H A Dmain.rkt143 (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)
327 (values (get-and-clear-require-lifts! require-lift-ctx)
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)
355 (parsed-define-values rebuild-s
356 (car ids+syms+rhs)
[all …]
/dports/lang/racket/racket-8.3/src/expander/eval/
H A Dmain.rkt143 (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)
327 (values (get-and-clear-require-lifts! require-lift-ctx)
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)
355 (parsed-define-values rebuild-s
356 (car ids+syms+rhs)
[all …]
/dports/lang/racket/racket-8.3/share/pkgs/typed-racket-lib/typed-racket/typecheck/
H A Dtc-structs.rkt159 (define/cond-contract (tc/struct-prop-values st-tname pnames pvals)
355 (define field-tvar-syms (build-list field-count (λ (_) (gen-pretty-sym))))
356 (define field-tvar-Fs (map make-F field-tvar-syms))
365 (define fld-sym (list-ref field-tvar-syms idx))
527 (define (register-parsed-struct-sty! ps)
532 (define (register-parsed-struct-bindings! ps)
541 (define (refine-struct-variance! parsed-structs)
542 (define stys (map parsed-struct-sty parsed-structs))
543 (define tvarss (map (compose struct-desc-tvars parsed-struct-desc) parsed-structs))
545 (for/list ([parsed-struct (in-list parsed-structs)])
[all …]
H A Dcheck-unit-unit.rkt21 ;; For the `unit` form imports, exports, and init-depends are parsed to generate
31 ;; are parsed to determine which imports were declared to check subtyping on the
415 (match-define (list cu-import-syms unit-export-syms unit-import-syms)
425 (define link-syms (append cu-import-syms (flatten unit-export-syms)))
439 cu-import-syms
514 (define-values (link-mapping
515 import-syms
522 (define-values (check _ init-depends)
540 (define-values (body-type new-init-depends)
557 (values ty (set-intersect import-syms init-depend-links))]
[all …]
/dports/lang/racket/racket-8.3/share/pkgs/parser-tools-lib/parser-tools/private-yacc/
H A Dinput-file-parser.rkt13 (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)
57 (values args biggest-pos))))
62 (define (build-terms term-list precs)
92 (define (get-terms-from-def term-syn)
110 (let* ((start-syms (map syntax-e start))
340 start start-syms)
344 (parsed-prods (map parse-prods-for-nt (syntax->list prods)))
364 end-non-terms start-syms)
[all …]
/dports/lang/racket-minimal/racket-8.3/src/bc/src/
H A Dstartup.inc24453 " parsed-define-values-syms"
24482 " parsed-define-syntaxes-syms"
31222 " header-define-and-import-syms"
31492 "(header-define-and-import-syms header_0)"
33187 "(parsed-define-values-syms"
33339 "(parsed-define-values-syms"
33639 "(parsed-define-syntaxes-syms"
44868 " semi-parsed-define-values-syms"
79772 "(parsed-define-values-syms"
84554 "(semi-parsed-define-values-syms"
[all …]
/dports/lang/racket/racket-8.3/src/bc/src/
H A Dstartup.inc24453 " parsed-define-values-syms"
24482 " parsed-define-syntaxes-syms"
31222 " header-define-and-import-syms"
31492 "(header-define-and-import-syms header_0)"
33187 "(parsed-define-values-syms"
33339 "(parsed-define-values-syms"
33639 "(parsed-define-syntaxes-syms"
44868 " semi-parsed-define-values-syms"
79772 "(parsed-define-values-syms"
84554 "(semi-parsed-define-values-syms"
[all …]
/dports/lang/racket/racket-8.3/share/pkgs/compatibility-lib/mzlib/private/
H A Dsigutil.rkt15 elems ; list of syms and signatures
18 (define-struct parsed-unit (imports renames vars import-vars body stx-checks))
448 values)])
671 (make-parsed-unit imports
727 "improper `define-values' clause form"
1210 parsed-unit-renames
1211 parsed-unit-imports
1212 parsed-unit-import-vars
1213 parsed-unit-body
1214 parsed-unit-stx-checks
[all …]
/dports/lang/racket/racket-8.3/share/pkgs/redex-lib/redex/private/
H A Drg.rkt69 (define pick-nts values)
179 (define-values/invoke-unit (generation-decisions)
185 (define-values (term _)
249 (define-values (seq envs)
286 (define lit-syms (compiled-lang-literals lang))
292 (define-values (rewritten-pat vars)
312 (define-values (p-rewritten p-names) (loop p))
332 (define-values (lpats-rewritten vars)
406 (λ (var _) (not (memq var lit-syms)))
663 ;; unparse-pattern: parsed-pattern -> pattern
[all …]
/dports/lang/racket/racket-8.3/share/pkgs/deinprogramm/deinprogramm/sdp/private/
H A Dsdp-langs.rkt509 (let-values ([(snip-class-names data-class-names)
516 values
526 (let-values ([(base name dir) (split-path fn)])
588 (define tp-syms '(deinprogramm-sdp-teachpacks))
589 …(define-values (tp-to-remove tp-to-add) (get-teachpack-from-user parent tp-dirs labels tp-syms old…
638 (define parsed-tps
648 (teachpacks ,parsed-tps)
653 [(= i deinprogramm-teachpacks-field-index) parsed-tps]
725 (let-values ([(snip-class-names data-class-names)
758 ;; When a `define-values' or `define-syntax' declaration
[all …]
/dports/lang/racket/racket-8.3/share/pkgs/typed-racket-lib/typed-racket/private/
H A Dparse-type.rkt77 ;; This parameter is set to #t if (Struct-Property ty) is being parsed.
99 ;; being parsed (set in type-alias-helper.rkt), #f if the
121 ;; nested function type being parsed. The stack does not include the
174 (define-literal-syntax-class #:for-label values)
316 #:do [(define-values (kws doms)
917 (define-values (dep-local-ids dep-local-types)
1073 (define syms (map syntax-e (attribute rng.vars)))
1074 (extend-tvars syms
1077 (make-ExitentialResult syms
1265 (define (parse-values-type stx)
[all …]
/dports/lang/racket/racket-8.3/share/pkgs/htdp-lib/lang/
H A Dhtdp-langs.rkt292 (define-values (w h) (send lab get-graphical-min-size))
442 (define-values (mod name)
574 (define tp-syms '(htdp-teachpacks 2htdp-teachpacks))
575 (define-values (tp-to-remove tp-to-add)
576 (get-teachpack-from-user parent tp-dirs labels tp-syms old-tps))
629 (define parsed-tps
641 (teachpacks ,parsed-tps)
646 [(= i teachpacks-field-index) parsed-tps]
751 ;; When a `define-values' or `define-syntax' declaration
866 [(for/first ((m lcm) #:when (good? m)) (list (apply make-srcloc m))) => values]
[all …]
/dports/lang/racket/racket-8.3/share/pkgs/deinprogramm/deinprogramm/DMdA/private/
H A DDMdA-langs.rkt712 (let-values ([(snip-class-names data-class-names)
719 values
729 (let-values ([(base name dir) (split-path fn)])
791 (define tp-syms '(deinprogramm-teachpacks))
792 …(define-values (tp-to-remove tp-to-add) (get-teachpack-from-user parent tp-dirs labels tp-syms old…
841 (define parsed-tps
851 (teachpacks ,parsed-tps)
856 [(= i deinprogramm-teachpacks-field-index) parsed-tps]
928 (let-values ([(snip-class-names data-class-names)
979 ;; When a `define-values' or `define-syntax' declaration
[all …]

12345678910>>...18