Home
last modified time | relevance | path

Searched +refs:internal +refs:definition +refs:context +refs:introduce (Results 1 – 25 of 5510) sorted by relevance

12345678910>>...221

/dports/lang/racket-minimal/racket-8.3/src/expander/expand/
H A Ddefinition-context.rkt20 internal-definition-context?
24 internal-definition-context-introduce
144 ;; internal-definition-context-introduce
145 (define (internal-definition-context-introduce intdef s [mode 'flip])
147 …(raise-argument-error 'internal-definition-context-introduce "internal-definition-context?" intdef…
149 (raise-argument-error 'internal-definition-context-introduce "syntax?" s))
158 'internal-definition-context-introduce
162 (when ctx (log-expand ctx 'track-syntax 'internal-definition-context-introduce new-s s))
182 (internal-definition-context-introduce intdef id 'remove)))
223 "(or/c internal-definition-context? (listof internal-definition-context?))")
[all …]
/dports/lang/racket/racket-8.3/src/expander/expand/
H A Ddefinition-context.rkt20 internal-definition-context?
24 internal-definition-context-introduce
144 ;; internal-definition-context-introduce
145 (define (internal-definition-context-introduce intdef s [mode 'flip])
147 …(raise-argument-error 'internal-definition-context-introduce "internal-definition-context?" intdef…
149 (raise-argument-error 'internal-definition-context-introduce "syntax?" s))
158 'internal-definition-context-introduce
162 (when ctx (log-expand ctx 'track-syntax 'internal-definition-context-introduce new-s s))
182 (internal-definition-context-introduce intdef id 'remove)))
223 "(or/c internal-definition-context? (listof internal-definition-context?))")
[all …]
/dports/lang/racket/racket-8.3/collects/syntax/
H A Dapply-transformer.rkt16 (unless (or (eq? context 'expression)
17 (eq? context 'top-level)
18 (eq? context 'module)
19 (eq? context 'module-begin)
20 (list? context))
23 context))
25 (internal-definition-context? intdef-ctxs)
27 (andmap internal-definition-context? intdef-ctxs)))
29 … "(or/c internal-definition-context? #f (listof internal-definition-context?))"
40 (internal-definition-context-introduce intdef-ctx stx 'add))
[all …]
/dports/lang/racket-minimal/racket-8.3/collects/syntax/
H A Dapply-transformer.rkt16 (unless (or (eq? context 'expression)
17 (eq? context 'top-level)
18 (eq? context 'module)
19 (eq? context 'module-begin)
20 (list? context))
23 context))
25 (internal-definition-context? intdef-ctxs)
27 (andmap internal-definition-context? intdef-ctxs)))
29 … "(or/c internal-definition-context? #f (listof internal-definition-context?))"
40 (internal-definition-context-introduce intdef-ctx stx 'add))
[all …]
/dports/lang/racket-minimal/racket-8.3/collects/racket/
H A Dsyntax.rkt18 internal-definition-context-apply
229 (define (internal-definition-context-apply intdefs stx)
230 …; The old implementation of internal-definition-context-apply implicitly converted its stx argument
233 (internal-definition-context-introduce intdefs (datum->syntax #f stx) 'add))
241 (unless (or (internal-definition-context? intdefs)
243 (and (list? intdefs) (andmap internal-definition-context? intdefs)))
246 "(or/c internal-definition-context?\n"
248 " (listof internal-definition-context?))")
252 [intdef (syntax-local-make-definition-context)]
254 [(internal-definition-context? intdefs) (list intdef intdefs)]
[all …]
H A Dsplicing.rkt56 (let ([i (let ([extra-ctx (syntax-local-make-definition-context)])
57 (lambda (stx) (internal-definition-context-add-scopes
67 (list (i (internal-definition-context-add-scopes def-ctx id))
125 (list (internal-definition-context-add-scopes
126 (syntax-local-make-definition-context) id)
277 (list (internal-definition-context-add-scopes
278 (syntax-local-make-definition-context) id)
470 (let ([introduce (let ([ctx (syntax-local-make-definition-context)])
471 (lambda (stx) (internal-definition-context-add-scopes
474 [scoped-id (introduce (datum->syntax #f 'scoped-id))]
[all …]
/dports/lang/racket/racket-8.3/collects/racket/
H A Dsyntax.rkt18 internal-definition-context-apply
229 (define (internal-definition-context-apply intdefs stx)
230 …; The old implementation of internal-definition-context-apply implicitly converted its stx argument
233 (internal-definition-context-introduce intdefs (datum->syntax #f stx) 'add))
241 (unless (or (internal-definition-context? intdefs)
243 (and (list? intdefs) (andmap internal-definition-context? intdefs)))
246 "(or/c internal-definition-context?\n"
248 " (listof internal-definition-context?))")
252 [intdef (syntax-local-make-definition-context)]
254 [(internal-definition-context? intdefs) (list intdef intdefs)]
[all …]
H A Dsplicing.rkt56 (let ([i (let ([extra-ctx (syntax-local-make-definition-context)])
57 (lambda (stx) (internal-definition-context-add-scopes
67 (list (i (internal-definition-context-add-scopes def-ctx id))
125 (list (internal-definition-context-add-scopes
126 (syntax-local-make-definition-context) id)
277 (list (internal-definition-context-add-scopes
278 (syntax-local-make-definition-context) id)
470 (let ([introduce (let ([ctx (syntax-local-make-definition-context)])
471 (lambda (stx) (internal-definition-context-add-scopes
474 [scoped-id (introduce (datum->syntax #f 'scoped-id))]
[all …]
/dports/lang/racket-minimal/racket-8.3/src/expander/boot/
H A Dcore-primitive.rkt19 "../expand/definition-context.rkt"
29 "../expand/allowed-context.rkt"
136 syntax-local-introduce
175 internal-definition-context?
176 syntax-local-make-definition-context
178 internal-definition-context-binding-identifiers
179 internal-definition-context-introduce
180 internal-definition-context-seal
181 identifier-remove-from-definition-context
182 internal-definition-context-add-scopes
[all …]
/dports/lang/racket/racket-8.3/src/expander/boot/
H A Dcore-primitive.rkt19 "../expand/definition-context.rkt"
29 "../expand/allowed-context.rkt"
136 syntax-local-introduce
175 internal-definition-context?
176 syntax-local-make-definition-context
178 internal-definition-context-binding-identifiers
179 internal-definition-context-introduce
180 internal-definition-context-seal
181 identifier-remove-from-definition-context
182 internal-definition-context-add-scopes
[all …]
/dports/lang/racket/racket-8.3/share/pkgs/racket-doc/scribblings/reference/
H A Dsyntax-util.scrbl26 (if (syntax-transforming?) syntax-local-introduce values)])
127 @racket[current-syntax-context].
193 @racket[syntax-local-introduce] is first called on the identifiers.
217 @defproc[(internal-definition-context-apply [intdef-ctx internal-definition-context?]
221 Equivalent to @racket[(internal-definition-context-introduce intdef-ctx stx 'add)]. The
222 @racket[internal-definition-context-apply] function is provided for backwards compatibility; the
223 @racket[internal-definition-context-add-scopes] function is preferred.
227 [intdef-ctx (or/c internal-definition-context?
229 (listof internal-definition-context?))
254 #:changed "6.90.0.27" @elem{Changed @racket[intdef-ctx] to accept a list of internal-definition
[all …]
H A Dstx-trans.scrbl311 @racket[syntax-local-make-definition-context] when the internal-definition context was created,
314 result (because the expansion might introduce bindings or references to internal-definition binding…
529 internal-definition-context?]{
551 internal-definition context} for the new internal-definition context. Whenever the new context’s
587 @defproc[(internal-definition-context-add-scopes [intdef-ctx internal-definition-context?]
601 [intdef-ctx internal-definition-context?]
665 @defproc[(internal-definition-context-introduce [intdef-ctx internal-definition-context?]
674 @racket[internal-definition-context-add-scopes] and
681 @defproc[(internal-definition-context-seal [intdef-ctx internal-definition-context?])
714 to represent an @tech{internal-definition context}.
[all …]
H A Dsyntax-model.scrbl493 @item{@deftech{internal-definition context} : in a nested context that allows
504 but it starts parsing the body in an @tech{internal-definition
569 @item{Definitions in @tech{internal-definition contexts} introduce
824 In certain contexts, such as an @tech{internal-definition context} or
839 An @tech{internal-definition context} supports local definitions mixed
842 internal-definition context are equivalent to local binding via
847 an internal-definition sequence. Partial expansion of each
876 form as the internal-definition context's expansion. Otherwise, at
886 scope} on the content of the internal-definition context. This
892 internal-definition context have a particular scope in common.
[all …]
/dports/lang/racket/racket-8.3/share/pkgs/typed-racket-lib/typed-racket/base-env/
H A Dcolon.rkt8 (submod "../typecheck/internal-forms.rkt" forms)
18 ;; what `internal` does, but the work is spread out among two
24 (define ctx (syntax-local-context))
32 (err stx "must be used in a definition context")]
34 (add-disappeared-use (syntax-local-introduce #'kw))
46 "Declaration for `~a' provided, but `~a' has no definition"
49 (syntax-property (syntax/loc stx (begin (quote-syntax (:-internal i ty) #:local)
51 'disappeared-use (syntax-local-introduce #'i))]
H A Dunit-prims.rkt15 unit-from-context
31 "../typecheck/internal-forms.rkt"
75 ;; definition being created
78 (define (process-definition-form apply-property stx)
166 (define/with-syntax temp (syntax-local-introduce (generate-temporary)))
168 #,(internal (quasisyntax/loc stx
276 #,(internal (quasisyntax/loc stx
374 (process-definition-form
457 (process-definition-form
475 (process-definition-form
[all …]
/dports/lang/racket/racket-8.3/collects/racket/private/
H A Dlocal.rkt10 ; definition context via `define`. The expander does not understand that theese
20 (let* ([def-ctx (syntax-local-make-definition-context)]
25 [expand-context (cons (gensym 'intdef)
26 (let ([orig-ctx (syntax-local-context)])
38 expand-context
61 #f "ill-formed definition" stx d)]
73 #f "ill-formed definition" stx d)]
76 #f "not a definition" stx defn)])))
78 (internal-definition-context-seal def-ctx)
110 (internal-definition-context-introduce
[all …]
/dports/lang/racket-minimal/racket-8.3/collects/racket/private/
H A Dlocal.rkt10 ; definition context via `define`. The expander does not understand that theese
20 (let* ([def-ctx (syntax-local-make-definition-context)]
25 [expand-context (cons (gensym 'intdef)
26 (let ([orig-ctx (syntax-local-context)])
38 expand-context
61 #f "ill-formed definition" stx d)]
73 #f "ill-formed definition" stx d)]
76 #f "not a definition" stx defn)])))
78 (internal-definition-context-seal def-ctx)
110 (internal-definition-context-introduce
[all …]
/dports/lang/racket/racket-8.3/share/pkgs/compatibility-lib/mzlib/private/
H A Dpackage-helper.rkt5 check-defn-context
16 ;; all-renames = all internal renames (needed to determine
24 (define (check-defn-context stx)
25 (when (eq? 'expression (syntax-local-context))
28 "allowed only in definition contexts"
73 ;; maps context keys to context-hash,
77 ;; expand-ctx is the context used for expanding the body;
79 ;; expanded in an internal-def position. In that case,
174 (syntax-local-introduce
205 ;; Finds a package, either as a syntax definition or in the
[all …]
/dports/math/curv/curv-0.5/ideas/language/old/
H A DLocal24 A local definition has the syntax
25 local <definition>
72 local-definition ; statements
95 Curv's `let`. Scheme supports internal definitions within compound statements
114 definition, no statements.
203 should introduce a sequential definition, for consistency with other imperative
252 Right now, the only context where `,` and `;` are both allowed, and they
272 definition ; statements
275 `x = 1` for an assignment statement if used in a statement context.
281 If we introduce a special syntax for compound statements, such as
[all …]
/dports/www/chromium-legacy/chromium-88.0.4324.182/chrome/common/extensions/api/
H A D_features.md41 "feature1": <definition>,
42 "feature2": <definition>,
50 definition is a single object that contains the properties describing the
58 `feature1` has a single definition, which says for it to be available, a
128 to declare an API alias, they would have to introduce an API alias feature -
130 the original feature. For example, the following would introduce an API alias
230 The `default_parent` property specifies a feature definition from a complex
271 ### internal subsection
273 The `internal` property specifies whether or not a feature is considered
445 bindings, such as internal chrome pages like chrome://settings or
[all …]
/dports/www/qt5-webengine/qtwebengine-everywhere-src-5.15.2/src/3rdparty/chromium/chrome/common/extensions/api/
H A D_features.md41 "feature1": <definition>,
42 "feature2": <definition>,
50 definition is a single object that contains the properties describing the
58 `feature1` has a single definition, which says for it to be available, a
128 to declare an API alias, they would have to introduce an API alias feature -
130 the original feature. For example, the following would introduce an API alias
218 The `default_parent` property specifies a feature definition from a complex
259 ### internal subsection
261 The `internal` property specifies whether or not a feature is considered
433 bindings, such as internal chrome pages like chrome://settings or
[all …]
/dports/lang/racket/racket-8.3/collects/racket/contract/private/
H A Dprovide.rkt168 (syntax-local-introduce
181 (syntax-local-introduce
233 (syntax-local-introduce
345 (define-for-syntax (internal-function-to-be-figured-out ctrct
359 (build-definition-of-plus-one-acceptor #'ctrct
374 (list definition-of-plus-one-acceptor)
401 (define-for-syntax (build-definition-of-plus-one-acceptor ctrct
514 (internal-function-to-be-figured-out #'ctrct
1207 ;; in another module, and the definition may have to pull
1299 [else ;; expression or internal definition
[all …]
/dports/lang/racket-minimal/racket-8.3/collects/racket/contract/private/
H A Dprovide.rkt168 (syntax-local-introduce
181 (syntax-local-introduce
233 (syntax-local-introduce
345 (define-for-syntax (internal-function-to-be-figured-out ctrct
359 (build-definition-of-plus-one-acceptor #'ctrct
374 (list definition-of-plus-one-acceptor)
401 (define-for-syntax (build-definition-of-plus-one-acceptor ctrct
514 (internal-function-to-be-figured-out #'ctrct
1207 ;; in another module, and the definition may have to pull
1299 [else ;; expression or internal definition
[all …]
/dports/lang/racket-minimal/racket-8.3/src/expander/
H A Ddemo.rkt419 #rx"expanded syntax not in its original lexical context")
421 "internal definition context"
428 [(intdef) (syntax-local-make-definition-context)])
450 (internal-definition-context-introduce
590 (list (syntax-local-introduce
721 (eval-module-declaration '(module definition-shadows-plain-require '#%kernel
732 (#%require 'definition-shadows-initial-require
733 'definition-shadows-plain-require)
1505 #:introduce? [introduce? #t])
1506 ((if introduce? namespace-syntax-introduce (lambda (stx ns) stx))
[all …]
/dports/lang/racket/racket-8.3/src/expander/
H A Ddemo.rkt419 #rx"expanded syntax not in its original lexical context")
421 "internal definition context"
428 [(intdef) (syntax-local-make-definition-context)])
450 (internal-definition-context-introduce
590 (list (syntax-local-introduce
721 (eval-module-declaration '(module definition-shadows-plain-require '#%kernel
732 (#%require 'definition-shadows-initial-require
733 'definition-shadows-plain-require)
1505 #:introduce? [introduce? #t])
1506 ((if introduce? namespace-syntax-introduce (lambda (stx ns) stx))
[all …]

12345678910>>...221