| /dports/lang/racket/racket-8.3/src/expander/syntax/ |
| H A D | module-binding.rkt | 50 (simple-module-binding module phase sym nominal-module)]))
76 (or (simple-module-binding? b)
112 (struct simple-module-binding (module phase sym nominal-module)
119 (ser-push! (simple-module-binding-sym b))
140 (define (deserialize-simple-module-binding module sym phase nominal-module)
141 (simple-module-binding module phase sym nominal-module))
146 (if (simple-module-binding? b)
147 (simple-module-binding-module b)
151 (if (simple-module-binding? b)
157 (simple-module-binding-sym b)
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/src/expander/syntax/ |
| H A D | module-binding.rkt | 50 (simple-module-binding module phase sym nominal-module)]))
76 (or (simple-module-binding? b)
112 (struct simple-module-binding (module phase sym nominal-module)
119 (ser-push! (simple-module-binding-sym b))
140 (define (deserialize-simple-module-binding module sym phase nominal-module)
141 (simple-module-binding module phase sym nominal-module))
146 (if (simple-module-binding? b)
147 (simple-module-binding-module b)
151 (if (simple-module-binding? b)
157 (simple-module-binding-sym b)
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/src/expander/expand/ |
| H A D | require+provide.rkt | 144 #:nominal-module (module-binding-nominal-module binding)
280 (module-binding-module b))))
314 ;; bindings are not simple. Returns a status to indicate whether/how the binding
342 [(not (module-binding? b))
354 (module-binding-sym b)
391 ;; become non-simple
398 (module-binding-update ok-binding
415 (define prev-b (hash-ref also-required (module-binding-sym b) #f))
418 (hash-set! also-required (module-binding-sym b) ok-binding)
440 ;; make sure we indicated that the binding is non-simple
[all …]
|
| H A D | require.rkt | 214 (set-requires+provides-all-bindings-simple?! requires+provides #f))
353 (define sym (module-binding-nominal-sym binding))
354 (define provide-phase+space (module-binding-nominal-phase+space binding))
471 (define binding/p (hash-ref provides sym #f))
473 (define b (provide-binding-to-require-binding binding/p sym
547 … (module-path-index-resolve (module-binding-module binding))
548 … (phase+ (phase- (module-binding-phase binding) phase-level)
551 …(define val (namespace-get-variable i-ns (module-binding-phase binding) (module-binding-sym bindin…
559 (module-binding-module binding)
560 (module-binding-sym binding)
[all …]
|
| H A D | module.rkt | 17 "../syntax/binding.rkt"
174 ;; Table of symbols picked for each binding in this module:
507 #:module-name-sym module-name-sym
569 (syntax-property result-s 'module-body-context-simple? #t)
585 #:module-name-sym module-name-sym
639 (raise-syntax-error #f "no #%module-begin binding in the module's language" s))
804 ;; In case `local-expand` created a binding with `sym` to a transformer
1075 (module-binding? b)
1076 (eq? (module-binding-sym b) (syntax-e id))
1077 (eq? (module-binding-module b) self)))
[all …]
|
| /dports/lang/racket/racket-8.3/src/expander/expand/ |
| H A D | require+provide.rkt | 144 #:nominal-module (module-binding-nominal-module binding)
280 (module-binding-module b))))
314 ;; bindings are not simple. Returns a status to indicate whether/how the binding
342 [(not (module-binding? b))
354 (module-binding-sym b)
391 ;; become non-simple
398 (module-binding-update ok-binding
415 (define prev-b (hash-ref also-required (module-binding-sym b) #f))
418 (hash-set! also-required (module-binding-sym b) ok-binding)
440 ;; make sure we indicated that the binding is non-simple
[all …]
|
| H A D | require.rkt | 214 (set-requires+provides-all-bindings-simple?! requires+provides #f))
353 (define sym (module-binding-nominal-sym binding))
354 (define provide-phase+space (module-binding-nominal-phase+space binding))
471 (define binding/p (hash-ref provides sym #f))
473 (define b (provide-binding-to-require-binding binding/p sym
547 … (module-path-index-resolve (module-binding-module binding))
548 … (phase+ (phase- (module-binding-phase binding) phase-level)
551 …(define val (namespace-get-variable i-ns (module-binding-phase binding) (module-binding-sym bindin…
559 (module-binding-module binding)
560 (module-binding-sym binding)
[all …]
|
| H A D | module.rkt | 17 "../syntax/binding.rkt"
174 ;; Table of symbols picked for each binding in this module:
507 #:module-name-sym module-name-sym
569 (syntax-property result-s 'module-body-context-simple? #t)
585 #:module-name-sym module-name-sym
639 (raise-syntax-error #f "no #%module-begin binding in the module's language" s))
804 ;; In case `local-expand` created a binding with `sym` to a transformer
1075 (module-binding? b)
1076 (eq? (module-binding-sym b) (syntax-e id))
1077 (eq? (module-binding-module b) self)))
[all …]
|
| /dports/lang/racket/racket-8.3/share/pkgs/eopl/tests/chapter8/abstract-types-lang/ |
| H A D | static-data-structures.rkt | 13 (extend-tenv-with-module
34 (simple-iface (decls)
40 (variable-name->maybe-binding-in-tenv tenv search-sym)))
44 (define lookup-module-name-in-tenv
47 (module-name->maybe-binding-in-tenv tenv search-sym)))
49 (raise-tenv-lookup-failure-error 'module search-sym tenv)))))
54 (type-name->maybe-binding-in-tenv tenv search-sym)))
62 (simple-iface (decls)
117 ;; module-name->maybe-binding-in-tenv : Tenv * Sym -> Maybe(Iface)
118 (define module-name->maybe-binding-in-tenv
[all …]
|
| H A D | environments.rkt | 7 (provide lookup-module-name-in-env)
34 (lambda (env search-sym)
37 (eopl:error 'apply-env "No value binding for ~s" search-sym))
39 (if (eqv? search-sym bvar)
41 (apply-env saved-env search-sym)))
44 (if (eqv? search-sym id)
46 (apply-env saved-env search-sym)))
47 (extend-env-with-module
49 (apply-env saved-env search-sym)) )))
59 "No module binding for ~s" m-name))
[all …]
|
| /dports/lang/racket/racket-8.3/share/pkgs/eopl/tests/chapter8/full-system/ |
| H A D | static-data-structures.rkt | 13 (extend-tenv-with-module
34 (simple-iface (decls)
45 (variable-name->maybe-binding-in-tenv tenv search-sym)))
49 (define lookup-module-name-in-tenv
52 (module-name->maybe-binding-in-tenv tenv search-sym)))
54 (raise-tenv-lookup-failure-error 'module search-sym tenv)))))
59 (type-name->maybe-binding-in-tenv tenv search-sym)))
67 (simple-iface (decls)
125 ;; module-name->maybe-binding-in-tenv : Tenv * Sym -> Maybe(Iface)
126 (define module-name->maybe-binding-in-tenv
[all …]
|
| H A D | environments.rkt | 7 (provide lookup-module-name-in-env)
34 (lambda (env search-sym)
37 (eopl:error 'apply-env "No value binding for ~s" search-sym))
39 (if (eqv? search-sym bvar)
41 (apply-env saved-env search-sym)))
44 (if (eqv? search-sym id)
46 (apply-env saved-env search-sym)))
47 (extend-env-with-module
49 (apply-env saved-env search-sym)) )))
59 "No module binding for ~s" m-name))
[all …]
|
| /dports/lang/racket/racket-8.3/share/pkgs/eopl/tests/chapter8/simplemodules/ |
| H A D | static-data-structures.rkt | 13 (extend-tenv-with-module
29 (simple-iface (decls)
33 (lambda (tenv search-sym)
35 (variable-name->maybe-binding-in-tenv tenv search-sym)))
39 (define lookup-module-name-in-tenv
40 (lambda (tenv search-sym)
42 (module-name->maybe-binding-in-tenv tenv search-sym)))
44 (raise-tenv-lookup-failure-error 'module search-sym tenv)))))
76 (define variable-name->maybe-binding-in-tenv
87 ;; module-name->maybe-binding-in-tenv : Tenv * Sym -> Maybe(Iface)
[all …]
|
| H A D | environments.rkt | 7 (provide lookup-module-name-in-env)
34 (lambda (env search-sym)
37 (eopl:error 'apply-env "No value binding for ~s" search-sym))
39 (if (eqv? search-sym bvar)
41 (apply-env saved-env search-sym)))
44 (if (eqv? search-sym id)
46 (apply-env saved-env search-sym)))
47 (extend-env-with-module
49 (apply-env saved-env search-sym)) )))
59 "No module binding for ~s" m-name))
[all …]
|
| /dports/editors/slime/slime-2.26.1-9-gf368e22a/contrib/ |
| H A D | swank-goo.goo | 503 (let ((name (sym-name (module-name (buffer-module)))))
521 (simple-restart
584 (def b (find-binding sym env))
591 ((,module ,name) (lst (as-sym name) (as-sym module))))
592 (lst (as-sym name) (module-name (buffer-module)))))
646 (cat-sym (binding-name b)
655 ,(cat (sym-name (module-name (binding-module b))) ":"
657 "\tkind: " (sym-name (binding-kind b)))))
673 (df %binding-info (name|<sym> module|<sym>)
812 (df binding-name-str (b|<binding> => <str>) (sym-name (binding-name b)))
[all …]
|
| /dports/lang/guile2/guile-2.2.7/test-suite/tests/ |
| H A D | modules.test | 67 (pass-if "module-use! (duplicates local binding)"
99 (and (every? (lambda (sym iface)
100 (eq? (module-import-interface (current-module) sym)
109 (every? (lambda (sym iface)
111 (module-import-interface (current-module) sym)))
121 (every? (lambda (var sym)
123 sym))
266 (module-define! imported 'imported-binding #t)
269 (and (not (module-variable m 'imported-binding))
275 (module-ref m 'imported-binding))))))
[all …]
|
| /dports/lang/guile/guile-3.0.7/test-suite/tests/ |
| H A D | modules.test | 67 (pass-if "module-use! (duplicates local binding)"
99 (and (every? (lambda (sym iface)
100 (eq? (module-import-interface (current-module) sym)
109 (every? (lambda (sym iface)
111 (module-import-interface (current-module) sym)))
121 (every? (lambda (var sym)
123 sym))
266 (module-define! imported 'imported-binding #t)
269 (and (not (module-variable m 'imported-binding))
275 (module-ref m 'imported-binding))))))
[all …]
|
| /dports/lang/gambit-c/gambit-4.9.3/lib/ |
| H A D | psyntax69c.ss | 796 ;;; part. The lexical part is a simple list of associations from labels
955 (put-cte-hook sym (make-binding type val))))
1021 ;;; simple labels must be comparable with "eq?" and distinct from symbols
1116 (let ((new (get-import-binding sym token)))
1147 (put-import-binding sym token
1293 (let-values (((sym id) (new-binding sym (wrap-marks top-wrap) token)))
1766 (define create-module-binding
1882 … (lambda () (put-cte-hook sym (car (module-binding-val b))))
1883 … (lambda () (build-cte-install sym (cdr (module-binding-val b)) #f)))
1892 … (let ((x (make-binding '$module (make-resolved-interface2 exports sym))))
[all …]
|
| H A D | psyntax73.ss | 865 ;;; part. The lexical part is a simple list of associations from labels
1104 ;;; simple labels must be comparable with "eq?" and distinct from symbols
1212 (let ((new (get-import-binding sym token)))
1245 (update-import-binding! sym token
1407 (let-values (((sym id) (new-binding sym (wrap-marks top-wrap) token)))
1904 (define create-module-binding
2021 … (lambda () (put-cte-hook sym (car (module-binding-val b))))
2022 … (lambda () (build-cte-install sym (cdr (module-binding-val b)) #f)))
2031 … (let ((x (make-binding '$module (make-resolved-interface id exports sym))))
3038 (eq? (binding-value binding) sym))
[all …]
|
| /dports/lang/racket/racket-8.3/collects/racket/private/ |
| H A D | reqprov.rkt | 1 (module reqprov '#%kernel
273 [simple-path? (lambda (p)
283 [transform-simple
317 (simple-path? #'path)
435 ;; Prefetch on simple module paths:
490 ;; the primitive `all-except` uses symbol equality, not binding,
807 (letrec ([transform-simple
1014 (format "no binding~a~a for identifier"
1224 (export-out-sym e)
1272 (import-src-sym i)
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/collects/racket/private/ |
| H A D | reqprov.rkt | 1 (module reqprov '#%kernel
273 [simple-path? (lambda (p)
283 [transform-simple
317 (simple-path? #'path)
435 ;; Prefetch on simple module paths:
490 ;; the primitive `all-except` uses symbol equality, not binding,
807 (letrec ([transform-simple
1014 (format "no binding~a~a for identifier"
1224 (export-out-sym e)
1272 (import-src-sym i)
[all …]
|
| /dports/lang/fennel/fennel-1.0.0/src/fennel/ |
| H A D | specials.fnl | 242 multi (and fn-sym (utils.multi-sym? (. fn-sym 1)))
546 "expected binding and iterator" binding)
548 iter (table.remove binding (length binding))
562 (let [bind-vars (utils.map binding destructure-binding)
598 ;; simple condition
614 binding-sym (table.remove (. ast 2) 1)
618 (compiler.assert (utils.sym? binding-sym)
619 (: "unable to bind %s %s" :format (type binding-sym)
620 (tostring binding-sym)) (. ast 2))
628 (compiler.declare-local binding-sym [] sub-scope ast)
[all …]
|
| /dports/lang/racket/racket-8.3/src/ChezScheme/s/ |
| H A D | syntax.ss | 921 ;;; part. The lexical part is a simple list of associations from labels
2125 (let ([b (make-binding '$module iface)])
2317 [binding (make-binding '$module iface)])
2640 ; %L filled in library name, e.g., rnrs/io/simple
2697 (make-binding '$module
3321 (let ([b (make-binding '$module iface)])
5378 (unless (and (eq? (binding-type binding) '$module) (interface? iface))
5816 ; id is module id, binding-value is new-marks
5828 (sc-put-module (binding-value binding) top-token '()))]
5851 (put-global-definition-hook sym (make-binding '$module sym))))
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/src/ChezScheme/s/ |
| H A D | syntax.ss | 921 ;;; part. The lexical part is a simple list of associations from labels
2125 (let ([b (make-binding '$module iface)])
2317 [binding (make-binding '$module iface)])
2640 ; %L filled in library name, e.g., rnrs/io/simple
2697 (make-binding '$module
3321 (let ([b (make-binding '$module iface)])
5378 (unless (and (eq? (binding-type binding) '$module) (interface? iface))
5816 ; id is module id, binding-value is new-marks
5828 (sc-put-module (binding-value binding) top-token '()))]
5851 (put-global-definition-hook sym (make-binding '$module sym))))
[all …]
|
| /dports/lang/chez-scheme/ChezScheme-9.5.4/s/ |
| H A D | syntax.ss | 900 ;;; part. The lexical part is a simple list of associations from labels
2104 (let ([b (make-binding '$module iface)])
2296 [binding (make-binding '$module iface)])
2619 ; %L filled in library name, e.g., rnrs/io/simple
2676 (make-binding '$module
3300 (let ([b (make-binding '$module iface)])
5347 (unless (and (eq? (binding-type binding) '$module) (interface? iface))
5785 ; id is module id, binding-value is new-marks
5797 (sc-put-module (binding-value binding) top-token '()))]
5820 (put-global-definition-hook sym (make-binding '$module sym))))
[all …]
|