| /dports/lang/racket/racket-8.3/share/pkgs/typed-racket-lib/typed-racket/private/ |
| H A D | with-types.rkt | 15 "../utils/lift.rkt"
52 (tc-error/stx stx "with-type cannot be used in a typed module."))
95 [orig-module-stx stx]
96 [expanded-module-stx expanded-body])
131 (local-require #,@(cdr (syntax-e extra-requires)))
139 (local-require #,@(cdr (syntax-e extra-requires)))
147 ;; local expansion for with-type expressions
149 (syntax-parse (local-expand/capture* stx ctx null)
153 (disarm* (local-expand/capture* #'(let-values () . body) ctx null)))]))
195 …-helper stx #'body #'(fv.id ...) #'(fv.ty ...) #'(id ...) #'(ty ...) #f #f (syntax-local-context))]
[all …]
|
| /dports/lang/racket/racket-8.3/share/pkgs/macro-debugger-text-lib/macro-debugger/analysis/ |
| H A D | profile.rkt | 12 syntax/id-table
13 syntax/modresolve
14 syntax/modcode
28 (cond [(syntax? x) (term-size (syntax-e x))]
226 [(local-lift-expr ids orig renamed) ;; (define-values [] []) : 5 nodes
228 [(local-lift-end orig renamed wrapped)
230 [(local-lift-require req expr mexpr) ;; (require []) : 4 nodes
232 [(local-lift-provide prov) ;; (provide []) : 4 nodes
234 [_ ;; local-value, local-bind, etc
524 (module+ main
[all …]
|
| /dports/lang/racket/racket-8.3/share/pkgs/macro-debugger-text-lib/macro-debugger/model/ |
| H A D | steps.rkt | 46 (datum->artificial-syntax
73 (tag-module-begin rw "Add explicit #%module-begin")
84 (splice-module rw "Splice module-level begin")
86 (splice-end-lifts rw "Splice lifted module declarations")
91 (rename-lambda sc "Introduce scope for local bindings")
92 (rename-letX sc "Introduce scope for local bindings")
94 (rename-module sc "Introduce scope for module")
95 (rename-mod-shift sc "Shift the self module-path-index")
96 (rename-modbeg sc "Introduce scope for module body")
100 (local-lift ac "Lift")
|
| /dports/lang/racket/racket-8.3/share/pkgs/scribble-lib/scribble/ |
| H A D | srcdoc.rkt | 34 (syntax-local-lift-module-end-declaration
37 (with-syntax ([(spec ...) (syntax-local-introduce specs)])
62 (syntax-local-lift-module-end-declaration #'(doc-submodule)))))
74 (syntax-local-introduce
97 (module* srcdoc #f
108 (module* srcdoc #f
131 (let ([t (syntax-local-value #'id (lambda () #f))])
139 [i2 (lambda (x) (syntax-local-introduce (i x)))])
142 (i (syntax-local-introduce form)))])
169 (syntax-local-introduce
[all …]
|
| /dports/lang/racket/racket-8.3/collects/racket/contract/private/ |
| H A D | base.rkt | 10 (require (for-syntax racket/base syntax/name syntax/srcloc)
21 ;; syntax? -> syntax?
30 (if (eq? (syntax-local-context) 'expression)
31 (let* ([ctxt (syntax-local-lift-context)]
34 (let ([id (syntax-local-lift-expression
36 (syntax/loc stx (quote-module-name))))])
37 (hash-set! lifted-ccrs ctxt (syntax-local-introduce id))
56 (with-syntax ([name (syntax-local-infer-name stx)])
65 (with-syntax ([name (syntax-local-infer-name stx)])
111 '#,(syntax-local-infer-name stx)
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/collects/racket/contract/private/ |
| H A D | base.rkt | 10 (require (for-syntax racket/base syntax/name syntax/srcloc)
21 ;; syntax? -> syntax?
30 (if (eq? (syntax-local-context) 'expression)
31 (let* ([ctxt (syntax-local-lift-context)]
34 (let ([id (syntax-local-lift-expression
36 (syntax/loc stx (quote-module-name))))])
37 (hash-set! lifted-ccrs ctxt (syntax-local-introduce id))
56 (with-syntax ([name (syntax-local-infer-name stx)])
65 (with-syntax ([name (syntax-local-infer-name stx)])
111 '#,(syntax-local-infer-name stx)
[all …]
|
| /dports/lang/racket/racket-8.3/collects/racket/private/ |
| H A D | reqprov.rkt | 73 (unless (module-path? (syntax->datum (xlate-path stx)))
84 [namess (syntax-local-module-exports stx)])
257 (case (syntax-local-context)
784 (case (syntax-local-context)
899 (let* ([ht (syntax-local-module-defined-identifiers)]
944 (unless (module-path? (syntax->datum mp))
954 (let ([r (syntax-local-module-required-identifiers (syntax->datum mp)
1130 [avail-ids (append (hash-ref (syntax-local-module-defined-identifiers)
1133 … (let ([idss (syntax-local-module-required-identifiers #f #t)])
1310 (define-syntax (local-require stx)
[all …]
|
| H A D | kw.rkt | 1 (module kw '#%kernel
855 (syntax-local-lift-values-expression
873 (if (eq? (syntax-local-context) 'expression)
893 (define-for-syntax (generate-proc-id default local-name)
900 (generate-proc-id (syntax-e local-name) #f)]
1128 (or (and (memq ctx '(module module-begin))
1237 (let* ([name (syntax-local-infer-name stx #f)]
1328 (cons (syntax-taint (syntax-local-introduce #'self))
1332 (cons (syntax-taint (syntax-local-introduce #'self))
1389 (lift-args
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/collects/racket/private/ |
| H A D | reqprov.rkt | 73 (unless (module-path? (syntax->datum (xlate-path stx)))
84 [namess (syntax-local-module-exports stx)])
257 (case (syntax-local-context)
784 (case (syntax-local-context)
899 (let* ([ht (syntax-local-module-defined-identifiers)]
944 (unless (module-path? (syntax->datum mp))
954 (let ([r (syntax-local-module-required-identifiers (syntax->datum mp)
1130 [avail-ids (append (hash-ref (syntax-local-module-defined-identifiers)
1133 … (let ([idss (syntax-local-module-required-identifiers #f #t)])
1310 (define-syntax (local-require stx)
[all …]
|
| H A D | kw.rkt | 1 (module kw '#%kernel
855 (syntax-local-lift-values-expression
873 (if (eq? (syntax-local-context) 'expression)
893 (define-for-syntax (generate-proc-id default local-name)
900 (generate-proc-id (syntax-e local-name) #f)]
1128 (or (and (memq ctx '(module module-begin))
1237 (let* ([name (syntax-local-infer-name stx #f)]
1328 (cons (syntax-taint (syntax-local-introduce #'self))
1332 (cons (syntax-taint (syntax-local-introduce #'self))
1389 (lift-args
[all …]
|
| /dports/lang/racket/racket-8.3/share/pkgs/r5rs-lib/r5rs/ |
| H A D | main.rkt | 1 (module main scheme/base
181 (syntax-local-lift-expression #'(to-mutable 'form))
284 (when (pair? (syntax-local-context))
342 (let ([def-ctx (syntax-local-make-definition-context)]
367 (with-syntax ([rhs (local-transformer-expand
371 (syntax-local-bind-syntaxes
383 (syntax-local-bind-syntaxes ids #f def-ctx)
499 (define-syntax-rule (configured-module-begin . body)
500 (#%plain-module-begin
501 (module configure-runtime racket/base
[all …]
|
| /dports/lang/racket/racket-8.3/collects/setup/ |
| H A D | parallel-do.rkt | 12 (for-syntax syntax/parse
70 [module-path null]
74 (set! module-path _module-path)
125 (spawn id module-path funcname [initialmsg #f]))
134 (define/public (spawn _id module-path funcname [initialmsg #f])
136 (set! pl (dynamic-place (string->path module-path) funcname))
196 (wrkr/spawn wrkr id module-path funcname initialmsg)
358 (define-syntax-rule (define-syntax-parameter-error x) (define-parallel-keyword-error define-syntax-…
484 …(with-syntax ([interal-def-name (syntax-local-lift-expression #'(lambda-worker (args ...) body ...…
485 (syntax-local-lift-provide #'(rename interal-def-name name)))
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/collects/setup/ |
| H A D | parallel-do.rkt | 12 (for-syntax syntax/parse
70 [module-path null]
74 (set! module-path _module-path)
125 (spawn id module-path funcname [initialmsg #f]))
134 (define/public (spawn _id module-path funcname [initialmsg #f])
136 (set! pl (dynamic-place (string->path module-path) funcname))
196 (wrkr/spawn wrkr id module-path funcname initialmsg)
358 (define-syntax-rule (define-syntax-parameter-error x) (define-parallel-keyword-error define-syntax-…
484 …(with-syntax ([interal-def-name (syntax-local-lift-expression #'(lambda-worker (args ...) body ...…
485 (syntax-local-lift-provide #'(rename interal-def-name name)))
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/src/expander/common/ |
| H A D | struct-star.rkt | 30 (begin-for-syntax
52 (syntax-local-value parent-name (lambda () #f))))
130 (let ([shape (syntax-local-value #'name (lambda () #f))])
140 (syntax-local-value
153 (syntax-rules ()
166 (syntax-local-lift-module-end-declaration #'(provide-struct* name))
173 (define shape (syntax-local-value #'name (lambda () #f)))
198 (datum->syntax id (string->symbol (format "~a-~a" (syntax-e name) (syntax-e id))))))
206 (datum->syntax id (string->symbol (format "set-~a-~a!" (syntax-e name) (syntax-e id))))))
244 (with-syntax ([id (datum->syntax (if outer?
[all …]
|
| /dports/lang/racket/racket-8.3/src/expander/common/ |
| H A D | struct-star.rkt | 30 (begin-for-syntax
52 (syntax-local-value parent-name (lambda () #f))))
130 (let ([shape (syntax-local-value #'name (lambda () #f))])
140 (syntax-local-value
153 (syntax-rules ()
166 (syntax-local-lift-module-end-declaration #'(provide-struct* name))
173 (define shape (syntax-local-value #'name (lambda () #f)))
198 (datum->syntax id (string->symbol (format "~a-~a" (syntax-e name) (syntax-e id))))))
206 (datum->syntax id (string->symbol (format "set-~a-~a!" (syntax-e name) (syntax-e id))))))
244 (with-syntax ([id (datum->syntax (if outer?
[all …]
|
| /dports/lang/racket/racket-8.3/src/ChezScheme/s/ |
| H A D | cpnanopass.ss | 38 (module ()
94 (module (pass)
121 (module (xpass pass-time?)
655 (module ()
664 (module ()
1539 (module (np-lift-well-known-closures)
1694 … (lift-info-le**-set! lift-info (append (lift-info-le** new-lift-info) (lift-info-le** lift-info)))
1831 (lift-info-le**-set! lift-info (cons lift-le* (lift-info-le** lift-info))))
1889 … (lift-info-le**-set! lift-info (append (lift-info-le** new-lift-info) (lift-info-le** lift-info)))
7326 (module (mst-top)
[all …]
|
| H A D | syntax.ss | 222 ;;; All identifiers defined within a local module are folded into the
504 (module (build-lambda build-lambda/lift-barrier build-library-case-lambda build-case-lambda)
531 (define build-lambda/lift-barrier
1869 [(local-syntax) (values 'local-syntax-form (binding-value b) e w ae)]
2196 (for-each kill-local-label! label*) ; just local-syntax labels, which are all local
3578 ((local-syntax-form)
4494 (define chi-local-syntax
4525 ;;; lift the syntax-object out of the body...
5623 (build-lambda/lift-barrier no-source '()
5968 (global-extend 'local-syntax 'let-syntax #f)
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/src/ChezScheme/s/ |
| H A D | cpnanopass.ss | 38 (module ()
94 (module (pass)
121 (module (xpass pass-time?)
655 (module ()
664 (module ()
1539 (module (np-lift-well-known-closures)
1694 … (lift-info-le**-set! lift-info (append (lift-info-le** new-lift-info) (lift-info-le** lift-info)))
1831 (lift-info-le**-set! lift-info (cons lift-le* (lift-info-le** lift-info))))
1889 … (lift-info-le**-set! lift-info (append (lift-info-le** new-lift-info) (lift-info-le** lift-info)))
7326 (module (mst-top)
[all …]
|
| /dports/lang/racket/racket-8.3/share/pkgs/frtime/ |
| H A D | lang-ext.rkt | 44 lift
45 lift-strict
180 (apply lift #t args))
291 (lift #t (lambda (bh)
316 (lift #t (lambda (es)
330 (lift #t (lambda (es)
339 (lift #t (lambda (es)
361 (lift #t (lambda (es)
374 (lift #t (lambda (es)
848 (define-for-syntax code-insp (variable-reference->module-declaration-inspector
[all …]
|
| /dports/lang/racket/racket-8.3/share/pkgs/htdp-lib/stepper/private/ |
| H A D | model.rkt | 89 ;; to dynamically require the user's module; this is required when using a
90 ;; #lang-based program, where the user's program expands into a single module
157 ;; ((listof (list/c syntax? syntax?)) (listof (list/c syntax? syntax?))
203 ;; first pass: highlight if not eq?. Should be broken for local-bound
374 (maybe-lift lhs-reconstructed #f)))
389 (maybe-lift
407 (maybe-lift rhs-reconstructed #f)))
453 (maybe-lift (car reconstruct-result) #f)))
456 (maybe-lift (cadr reconstruct-result) #t)))
493 (define maybe-lift
[all …]
|
| /dports/lang/chibi-scheme/chibi-scheme-0.10/ |
| H A D | TODO | 38 syntax-rules.
39 ** TODO lambda lift
57 ** DONE hygienic nested let-syntax
61 ** DONE SRFI-46 basic syntax-rules extensions
66 ** TODO syntax-rules common pattern reduction
67 ** TODO syntax-rules loop optimization
93 and a SRFI-18 interface is provided as a separate module.
94 *** DONE thread-local parameters
121 * module system
|
| /dports/lang/racket/racket-8.3/share/pkgs/htdp-lib/lang/private/ |
| H A D | teach.rkt | 4 ;; module.
343 [(eq? (syntax-local-context) 'top-level)
366 [(memq (syntax-local-context) '(module module-begin))
407 (let ([ctx (syntax-local-context)])
408 (or (memq ctx '(top-level module module-begin))
1413 (if (syntax-source-module #'id)
1679 (unless (memq (syntax-local-context) '(top-level module module-begin))
1697 (unless (module-path? (syntax-e #'id))
1702 "bad syntax for a module path"))
1814 (syntax-local-lift-expression (stepper-syntax-property
[all …]
|
| /dports/lang/racket/racket-8.3/share/pkgs/racket-cheat/ |
| H A D | racket-cheat.scrbl | 7 racket/syntax
143 @racket[(module+ main _body _...) #,LB
144 (module+ test _body _...) #,LB
353 @racket[define-syntax define-simple-macro begin-for-syntax for-syntax])
355 @racket[syntax syntax/loc with-syntax])
357 @racket[syntax-parse define-syntax-class pattern])
359 …@racket[syntax-source syntax-line #,MORE syntax->datum datum->syntax generate-temporaries format-i…
361 …e-set!-transformer make-rename-transformer local-expand syntax-local-value syntax-local-name synta…
363 @racket[define-syntax-parameter syntax-parameterize syntax-parameter-value])
417 @racket[make-evaluator make-module-evaluator]))
[all …]
|
| /dports/lang/racket/racket-8.3/doc/reference/ |
| H A D | blueboxes.rktd | 9148 (syntax-local-lift-expression stx) -> identifier?
9151 (syntax-local-lift-values-expression n stx)
9156 (syntax-local-lift-context) -> any/c
9158 (syntax-local-lift-module stx) -> void?
9161 (syntax-local-lift-module-end-declaration stx) -> void?
9164 (syntax-local-lift-require raw-require-spec
9169 (syntax-local-lift-provide raw-provide-spec-stx) -> void?
9179 (syntax-local-module-exports mod-path)
9186 (syntax-local-module-interned-scope-symbols)
9235 (syntax-local-module-defined-identifiers)
[all …]
|
| /dports/lang/racket/racket-8.3/share/pkgs/typed-racket-lib/typed-racket/base-env/ |
| H A D | prims.rkt | 5 This file defines two sorts of primitives. All of them are provided into any module using
146 (module+ #%contract-defs
153 (define-runtime-module-path-index contract-defs-submod
595 (module* for-set #f
658 ;; lift allows `provide:` to come before original definition
659 (syntax-local-lift-module-end-declaration #`(define #,i* #,i)))
819 #'(quote-syntax (typecheck-fail-internal orig msg var) #:local)]
821 #'(quote-syntax (typecheck-fail-internal orig msg #f) #:local)]
823 #'(quote-syntax (typecheck-fail-internal orig "Incomplete case coverage" var) #:local)]
825 #'(quote-syntax (typecheck-fail-internal orig "Incomplete case coverage" #f) #:local)]))
[all …]
|