Home
last modified time | relevance | path

Searched +refs:add +refs:intdef +refs:scopes (Results 1 – 25 of 27) sorted by relevance

12

/dports/lang/racket-minimal/racket-8.3/src/expander/expand/
H A Ddefinition-context.rkt16 (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 Dapply-transformer.rkt42 (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 Dsyntax-local.rkt103 (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 Dlocal-expand.rkt53 ;; 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 Dbody.rkt38 (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 Ddefinition-context.rkt16 (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 Dapply-transformer.rkt42 (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 Dsyntax-local.rkt103 (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 Dlocal-expand.rkt53 ;; 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 Dbody.rkt38 (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 Dapply-transformer.rkt7 (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 Dapply-transformer.rkt7 (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 Dstx-trans.scrbl321 @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 Dsyntax-util.scrbl217 @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 Dsyntax-model.scrbl62 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 Dsyntax.scrbl103 @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 Dlocal.rkt4 "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 Dclass-internal.rkt24 "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 Dlocal.rkt4 "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 Dclass-internal.rkt24 "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 Dsplicing.rkt54 ;; 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 Dsplicing.rkt54 ;; 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 Dstartup.inc46889 "(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 Dstartup.inc46889 "(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 Dblueboxes.rktd4246 (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 …]

12