/dports/lang/racket-minimal/racket-8.3/src/expander/expand/ |
H A D | definition-context.rkt | 20 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 D | definition-context.rkt | 20 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 D | apply-transformer.rkt | 16 (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 D | apply-transformer.rkt | 16 (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 D | syntax.rkt | 18 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 D | splicing.rkt | 56 (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 D | syntax.rkt | 18 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 D | splicing.rkt | 56 (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 D | core-primitive.rkt | 19 "../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 D | core-primitive.rkt | 19 "../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 D | syntax-util.scrbl | 26 (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 D | stx-trans.scrbl | 311 @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 D | syntax-model.scrbl | 493 @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 D | colon.rkt | 8 (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 D | unit-prims.rkt | 15 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 D | local.rkt | 10 ; 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 D | local.rkt | 10 ; 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 D | package-helper.rkt | 5 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 D | Local | 24 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.md | 41 "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.md | 41 "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 D | provide.rkt | 168 (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 D | provide.rkt | 168 (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 D | demo.rkt | 419 #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 D | demo.rkt | 419 #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 …]
|