/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)) 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 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)) 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 D | top.rkt | 13 "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 D | module.rkt | 809 (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 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 | 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 …]
|
H A D | cross-phase.rkt | 20 (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 D | top.rkt | 13 "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 D | module.rkt | 809 (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 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 | 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 …]
|
H A D | cross-phase.rkt | 20 (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 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) 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 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) 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 D | tc-structs.rkt | 159 (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 D | check-unit-unit.rkt | 21 ;; 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 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) 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 D | startup.inc | 24453 " 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 D | startup.inc | 24453 " 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 D | sigutil.rkt | 15 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 D | rg.rkt | 69 (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 D | sdp-langs.rkt | 509 (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 D | parse-type.rkt | 77 ;; 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 D | htdp-langs.rkt | 292 (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 D | DMdA-langs.rkt | 712 (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 …]
|