/dports/lang/racket-minimal/racket-8.3/src/expander/expand/ |
H A D | definition-context.rkt | 16 (provide add-intdef-scopes 17 add-intdef-bindings 27 internal-definition-context-add-scopes 96 (add-intdef-scopes (add-intdef-scopes pre-id intdef #:always? #t) 118 (define input-s (flip-introduction-scopes (add-intdef-scopes s all-intdefs) ctx)) 151 (add-intdef-scopes s intdef 185 ;; internal-definition-context-add-scopes 186 (define (internal-definition-context-add-scopes intdef s) 250 (define (add-intdef-bindings env intdefs) 267 (define (add-intdef-scopes s intdefs [all …]
|
H A D | apply-transformer.rkt | 42 (lambda (intdef-ctx) 43 (or (not intdef-ctx) 44 (internal-definition-context? intdef-ctx))) 47 intdef-ctx) 54 #:intdefs intdef-ctx)) 58 (add-intdef-scopes 60 intdef-ctx)) 99 (define intro-s (add-scope s intro-scope)) 100 (define use-s (add-scopes intro-s use-scopes)) 112 (define post-s (maybe-add-post-expansion result-s ctx)) [all …]
|
H A D | syntax-local.rkt | 103 (define/who (syntax-local-identifier-as-binding id [intdef #f]) 105 (when intdef 106 (check who internal-definition-context? intdef)) 109 (if intdef 110 (remove-intdef-use-site-scopes id intdef) 111 (remove-use-site-scopes id ctx))) 144 [(add) (add-scope s sc)] 171 [(add) (syntax-add-shifts (add-scopes s delta-scs) shifts #:non-source? #t)] 173 [(flip) (syntax-add-shifts (flip-scopes s delta-scs) shifts #:non-source? #t)] 195 [env (add-intdef-bindings (expand-context-env current-ctx) [all …]
|
H A D | local-expand.rkt | 53 ;; with an empty set of scopes, and then the already-expanded inside has 54 ;; the scopes suitably flipped 55 (define ae (flip-introduction-scopes 59 (flip-introduction-scopes exp-s ctx)) 118 (define input-s (add-intdef-scopes (flip-introduction-scopes s ctx) intdefs)) 153 (flip-introduction-scopes output-s ctx)))
|
H A D | body.rkt | 38 (define inside-sc (new-scope 'intdef)) 41 (add-scope body inside-sc))) 45 (define def-ctx-scopes (box null)) 53 [def-ctx-scopes def-ctx-scopes] 55 (lambda (s) (add-scope s inside-sc))] 125 ;; Found a variable definition; add bindings, extend the 135 (add-local-binding! id phase counter 174 ;; Found a macro definition; add bindings, evaluate the 185 (add-local-binding! id phase counter 267 …(define finish-ctx (struct*-copy expand-context (accumulate-def-ctx-scopes body-ctx def-ctx-scopes) [all …]
|
/dports/lang/racket/racket-8.3/src/expander/expand/ |
H A D | definition-context.rkt | 16 (provide add-intdef-scopes 17 add-intdef-bindings 27 internal-definition-context-add-scopes 96 (add-intdef-scopes (add-intdef-scopes pre-id intdef #:always? #t) 118 (define input-s (flip-introduction-scopes (add-intdef-scopes s all-intdefs) ctx)) 151 (add-intdef-scopes s intdef 185 ;; internal-definition-context-add-scopes 186 (define (internal-definition-context-add-scopes intdef s) 250 (define (add-intdef-bindings env intdefs) 267 (define (add-intdef-scopes s intdefs [all …]
|
H A D | apply-transformer.rkt | 42 (lambda (intdef-ctx) 43 (or (not intdef-ctx) 44 (internal-definition-context? intdef-ctx))) 47 intdef-ctx) 54 #:intdefs intdef-ctx)) 58 (add-intdef-scopes 60 intdef-ctx)) 99 (define intro-s (add-scope s intro-scope)) 100 (define use-s (add-scopes intro-s use-scopes)) 112 (define post-s (maybe-add-post-expansion result-s ctx)) [all …]
|
H A D | syntax-local.rkt | 103 (define/who (syntax-local-identifier-as-binding id [intdef #f]) 105 (when intdef 106 (check who internal-definition-context? intdef)) 109 (if intdef 110 (remove-intdef-use-site-scopes id intdef) 111 (remove-use-site-scopes id ctx))) 144 [(add) (add-scope s sc)] 171 [(add) (syntax-add-shifts (add-scopes s delta-scs) shifts #:non-source? #t)] 173 [(flip) (syntax-add-shifts (flip-scopes s delta-scs) shifts #:non-source? #t)] 195 [env (add-intdef-bindings (expand-context-env current-ctx) [all …]
|
H A D | local-expand.rkt | 53 ;; with an empty set of scopes, and then the already-expanded inside has 54 ;; the scopes suitably flipped 55 (define ae (flip-introduction-scopes 59 (flip-introduction-scopes exp-s ctx)) 118 (define input-s (add-intdef-scopes (flip-introduction-scopes s ctx) intdefs)) 153 (flip-introduction-scopes output-s ctx)))
|
H A D | body.rkt | 38 (define inside-sc (new-scope 'intdef)) 41 (add-scope body inside-sc))) 45 (define def-ctx-scopes (box null)) 53 [def-ctx-scopes def-ctx-scopes] 55 (lambda (s) (add-scope s inside-sc))] 125 ;; Found a variable definition; add bindings, extend the 135 (add-local-binding! id phase counter 174 ;; Found a macro definition; add bindings, evaluate the 185 (add-local-binding! id phase counter 267 …(define finish-ctx (struct*-copy expand-context (accumulate-def-ctx-scopes body-ctx def-ctx-scopes) [all …]
|
/dports/lang/racket/racket-8.3/collects/syntax/ |
H A D | apply-transformer.rkt | 7 (define (local-apply-transformer transformer stx context [intdef-ctxs #f]) 24 (unless (or (eq? #f intdef-ctxs) 25 (internal-definition-context? intdef-ctxs) 26 (and (list? intdef-ctxs) 27 (andmap internal-definition-context? intdef-ctxs))) 30 intdef-ctxs)) 35 ; compatibility if given more than one, add inside-edge scopes for each. 37 (if (list? intdef-ctxs) 39 ([intdef-ctx intdef-ctxs]) 40 (internal-definition-context-introduce intdef-ctx stx 'add)) [all …]
|
/dports/lang/racket-minimal/racket-8.3/collects/syntax/ |
H A D | apply-transformer.rkt | 7 (define (local-apply-transformer transformer stx context [intdef-ctxs #f]) 24 (unless (or (eq? #f intdef-ctxs) 25 (internal-definition-context? intdef-ctxs) 26 (and (list? intdef-ctxs) 27 (andmap internal-definition-context? intdef-ctxs))) 30 intdef-ctxs)) 35 ; compatibility if given more than one, add inside-edge scopes for each. 37 (if (list? intdef-ctxs) 39 ([intdef-ctx intdef-ctxs]) 40 (internal-definition-context-introduce intdef-ctx stx 'add)) [all …]
|
/dports/lang/racket/racket-8.3/share/pkgs/racket-doc/scribblings/reference/ |
H A D | stx-trans.scrbl | 321 @racket[intdef-ctx] argument is an internal-definition context, use-site scopes are recorded 528 [add-scope? any/c #t]) 536 should use @racket[internal-definition-context-add-scopes] to apply the context's scopes to the syn… 548 @racket[add-scope?] disables this behavior. 587 @defproc[(internal-definition-context-add-scopes [intdef-ctx internal-definition-context?] 605 Removes scopes associated with the @racket[intdef-ctx] from @racket[id]: the 674 @racket[internal-definition-context-add-scopes] and 692 Removes all of the @tech{scopes} of @racket[intdef-ctx] (or of each 1191 syntax object, @racket['add] to add the scope to each regardless of 1234 @racket[ext-stx] and with a default action of @racket['add]. [all …]
|
H A D | syntax-util.scrbl | 217 @defproc[(internal-definition-context-apply [intdef-ctx internal-definition-context?] 221 Equivalent to @racket[(internal-definition-context-introduce intdef-ctx stx 'add)]. The 223 @racket[internal-definition-context-add-scopes] function is preferred. 227 [intdef-ctx (or/c internal-definition-context? 234 @tech{phase level} 1). If @racket[intdef-ctx] is not @racket[#f], the value provided for 235 @racket[intdef-ctx] is used to enrich @racket[stx]’s @tech{lexical information} and extend the 254 #:changed "6.90.0.27" @elem{Changed @racket[intdef-ctx] to accept a list of internal-definition
|
H A D | syntax-model.scrbl | 62 nested @tech{scopes}, while macro expansion creates scopes that 88 with the same symbol but a subset of scopes. 158 interned scopes. The @racket[require] and @racket[provide] forms 235 @tech{scopes} from the @racket[_datum]'s @tech{scope sets}; 344 Additional @tech{scopes}, if any, are removed. As a result, 570 new scopes and bindings as described in @secref["intdef-body"].} 754 Due to the way local binding forms like @racket[let] add a fresh @tech{scope} to both bound 830 As a special case, when expansion would otherwise add an 837 @subsection[#:tag "intdef-body"]{Internal Definitions} 898 @seclink["intdef-body"]{expansion of an internal-definition context}: [all …]
|
H A D | syntax.scrbl | 103 @secref["intdef-body"]).} 335 expansion starts by removing the @tech{scopes} of the enclosing 1728 clients to add @racket[#%expression]; instead it should check 2530 introduces a local binding; see @secref["intdef-body"]. 2567 In an @tech{internal-definition context} (see @secref["intdef-body"]), 2604 In an @tech{internal-definition context} (see @secref["intdef-body"]), 2635 In an @tech{internal-definition context} (see @secref["intdef-body"]), 3078 When @racket[#:local] is specified, then all @tech{scopes} in the
|
/dports/lang/racket/racket-8.3/collects/racket/private/ |
H A D | local.rkt | 4 "intdef-util.rkt")) 12 ; scopes. To avoid ambiguous reference problems, do-local needs to treat 13 ; use-site scopes in the same way for the initial bindings. So when 14 ; splicing-hygiene-hack? is true, use-site scopes from the surronding context 25 [expand-context (cons (gensym 'intdef) 113 'add)) 115 (add-decl-props
|
H A D | class-internal.rkt | 24 "intdef-util.rkt")) 374 (internal-definition-context-add-scopes def-ctx s))]) 554 (with-syntax ([l (rearm (add-method-property l) stx)]) 578 (with-syntax ([cl (rearm (add-method-property cl) stx)]) 671 (define (add-method-property l) 1526 (add-decl-props 2264 ;; Keep check here for early failure, will add to hashtable later in this function. 2560 ;; Now that checking is done, add `augment': 2787 ;; add properties to the subclass that 2950 ;; No properties to add: [all …]
|
/dports/lang/racket-minimal/racket-8.3/collects/racket/private/ |
H A D | local.rkt | 4 "intdef-util.rkt")) 12 ; scopes. To avoid ambiguous reference problems, do-local needs to treat 13 ; use-site scopes in the same way for the initial bindings. So when 14 ; splicing-hygiene-hack? is true, use-site scopes from the surronding context 25 [expand-context (cons (gensym 'intdef) 113 'add)) 115 (add-decl-props
|
H A D | class-internal.rkt | 24 "intdef-util.rkt")) 374 (internal-definition-context-add-scopes def-ctx s))]) 554 (with-syntax ([l (rearm (add-method-property l) stx)]) 578 (with-syntax ([cl (rearm (add-method-property cl) stx)]) 671 (define (add-method-property l) 1526 (add-decl-props 2264 ;; Keep check here for early failure, will add to hashtable later in this function. 2560 ;; Now that checking is done, add `augment': 2787 ;; add properties to the subclass that 2950 ;; No properties to add: [all …]
|
/dports/lang/racket/racket-8.3/collects/racket/ |
H A D | splicing.rkt | 54 ;; Since we already have bindings for the current scopes, 55 ;; add extra scopes for re-binding: 57 (lambda (stx) (internal-definition-context-add-scopes 65 ;; scopes and the intdef scopes, to be removed from 67 (list (i (internal-definition-context-add-scopes def-ctx id)) 125 (list (internal-definition-context-add-scopes 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 277 (list (internal-definition-context-add-scopes 471 (lambda (stx) (internal-definition-context-add-scopes
|
/dports/lang/racket-minimal/racket-8.3/collects/racket/ |
H A D | splicing.rkt | 54 ;; Since we already have bindings for the current scopes, 55 ;; add extra scopes for re-binding: 57 (lambda (stx) (internal-definition-context-add-scopes 65 ;; scopes and the intdef scopes, to be removed from 67 (list (i (internal-definition-context-add-scopes def-ctx id)) 125 (list (internal-definition-context-add-scopes 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 277 (list (internal-definition-context-add-scopes 471 (lambda (stx) (internal-definition-context-add-scopes
|
/dports/lang/racket-minimal/racket-8.3/src/bc/src/ |
H A D | startup.inc | 46889 "(add-intdef-scopes.1" 46896 "(add-intdef-scopes.1" 47116 "(add-intdef-scopes.1" 47419 "(add-intdef-scopes.1 temp59_0 temp58_0 s56_0 intdef57_0))))" 47575 "(add-intdef-bindings" 47628 "(add-intdef-scopes.1)" 47631 " 'add-intdef-scopes" 47801 "(add-intdef-scopes.1" 48366 "(add-intdef-bindings" 65765 "(add-intdef-scopes.1" [all …]
|
/dports/lang/racket/racket-8.3/src/bc/src/ |
H A D | startup.inc | 46889 "(add-intdef-scopes.1" 46896 "(add-intdef-scopes.1" 47116 "(add-intdef-scopes.1" 47419 "(add-intdef-scopes.1 temp59_0 temp58_0 s56_0 intdef57_0))))" 47575 "(add-intdef-bindings" 47628 "(add-intdef-scopes.1)" 47631 " 'add-intdef-scopes" 47801 "(add-intdef-scopes.1" 48366 "(add-intdef-bindings" 65765 "(add-intdef-scopes.1" [all …]
|
/dports/lang/racket/racket-8.3/doc/reference/ |
H A D | blueboxes.rktd | 4246 (sequence-add-between s e) -> sequence? 4344 (stream-add-between s e) -> stream? 4784 (set-add st v) -> generic-set? 4788 (set-add! st v) -> void? 4887 add-proc 4908 add-proc 6989 (blame-add-missing-party b missing-party) 9012 [intdef-ctx]) -> syntax? 9081 add-scope? : any/c = #t 9083 (internal-definition-context-add-scopes intdef-ctx [all …]
|