| /dports/textproc/uim-gtk/sigscheme-beb8fbd/test/ |
| H A D | test-letrec.scm | 388 (letrec ()
403 (letrec ()
418 (letrec ()
433 (letrec ()
448 (letrec ()
466 (letrec ()
471 (letrec ()
476 (letrec ()
482 (letrec ()
488 (letrec ()
[all …]
|
| /dports/textproc/uim-gtk/uim-d1ac9d9/sigscheme/test/ |
| H A D | test-letrec.scm | 388 (letrec ()
403 (letrec ()
418 (letrec ()
433 (letrec ()
448 (letrec ()
466 (letrec ()
471 (letrec ()
476 (letrec ()
482 (letrec ()
488 (letrec ()
[all …]
|
| /dports/textproc/uim-qt5/uim-d1ac9d9/sigscheme/test/ |
| H A D | test-letrec.scm | 388 (letrec ()
403 (letrec ()
418 (letrec ()
433 (letrec ()
448 (letrec ()
466 (letrec ()
471 (letrec ()
476 (letrec ()
482 (letrec ()
488 (letrec ()
[all …]
|
| /dports/textproc/uim-m17nlib/uim-d1ac9d9/sigscheme/test/ |
| H A D | test-letrec.scm | 388 (letrec ()
403 (letrec ()
418 (letrec ()
433 (letrec ()
448 (letrec ()
466 (letrec ()
471 (letrec ()
476 (letrec ()
482 (letrec ()
488 (letrec ()
[all …]
|
| /dports/textproc/uim-qt5/sigscheme-beb8fbd/test/ |
| H A D | test-letrec.scm | 388 (letrec ()
403 (letrec ()
418 (letrec ()
433 (letrec ()
448 (letrec ()
466 (letrec ()
471 (letrec ()
476 (letrec ()
482 (letrec ()
488 (letrec ()
[all …]
|
| /dports/textproc/uim-m17nlib/sigscheme-beb8fbd/test/ |
| H A D | test-letrec.scm | 388 (letrec ()
403 (letrec ()
418 (letrec ()
433 (letrec ()
448 (letrec ()
466 (letrec ()
471 (letrec ()
476 (letrec ()
482 (letrec ()
488 (letrec ()
[all …]
|
| /dports/textproc/uim-gtk3/sigscheme-beb8fbd/test/ |
| H A D | test-letrec.scm | 388 (letrec ()
403 (letrec ()
418 (letrec ()
433 (letrec ()
448 (letrec ()
466 (letrec ()
471 (letrec ()
476 (letrec ()
482 (letrec ()
488 (letrec ()
[all …]
|
| /dports/textproc/uim-gtk3/uim-d1ac9d9/sigscheme/test/ |
| H A D | test-letrec.scm | 388 (letrec ()
403 (letrec ()
418 (letrec ()
433 (letrec ()
448 (letrec ()
466 (letrec ()
471 (letrec ()
476 (letrec ()
482 (letrec ()
488 (letrec ()
[all …]
|
| /dports/japanese/uim-anthy/sigscheme-beb8fbd/test/ |
| H A D | test-letrec.scm | 388 (letrec ()
403 (letrec ()
418 (letrec ()
433 (letrec ()
448 (letrec ()
466 (letrec ()
471 (letrec ()
476 (letrec ()
482 (letrec ()
488 (letrec ()
[all …]
|
| /dports/japanese/uim-anthy/uim-d1ac9d9/sigscheme/test/ |
| H A D | test-letrec.scm | 388 (letrec ()
403 (letrec ()
418 (letrec ()
433 (letrec ()
448 (letrec ()
466 (letrec ()
471 (letrec ()
476 (letrec ()
482 (letrec ()
488 (letrec ()
[all …]
|
| /dports/lang/racket/racket-8.3/share/pkgs/redex-examples/redex/examples/ |
| H A D | cbn-letrec.rkt | 9 ;; M ::= .... | letrec D in M
12 ;; | letrec D in E
13 ;; | letrec D, x be E in E[x]
32 (define-language cbn-letrec
36 (A V (letrec D A))
37 (E hole (E M) (letrec D E)
45 (define-metafunction cbn-letrec
81 (test-no-match E (letrec ([x hole]) (letrec ([x (λ x x)]) x)))
82 (test-no-match E (letrec ([x y] [y (letrec ([z (λ x x)]) z)] [z hole]) x))
93 (test-equal (term (does-not-bind? (letrec ([x x]) (letrec ([y y]) hole)) y)) #f)
[all …]
|
| /dports/lang/racket/racket-8.3/share/pkgs/web-server-lib/web-server/lang/ |
| H A D | elim-letrec.rkt | 10 [elim-letrec-term (syntax? . -> . syntax?)])
14 ; letrec-bound variables [3] therein.
15 (define ((elim-letrec ids) stx)
29 (with-syntax ([ve ((elim-letrec ids) #'ve)])
38 [(letrec-values ([(v ...) ve] ...) be ...)
76 ((elim-letrec ids)
80 (with-syntax ([te ((elim-letrec ids) #'te)]
81 [ce ((elim-letrec ids) #'ce)]
90 (with-syntax ([ke ((elim-letrec ids) #'ke)]
110 ((elim-letrec ids)
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/src/ChezScheme/mats/ |
| H A D | 3.ms | 165 (mat letrec
527 (letrec ([a (letrec* ([b (lambda () a)]) (b))]
620 (letrec ([a (letrec ([b (letrec ([c (lambda () a)]) (c))])
732 (error? (letrec ([a (letrec ([b (lambda () (c))]
737 (error? (letrec ([a (letrec* ([b (lambda () (c))]
742 (error? (letrec ([a (letrec ([b (lambda () (c))]
801 (letrec ([a (letrec* ([b (lambda () (c))]
1179 (letrec ([f (letrec* ([g (lambda (x)
1188 (letrec ([f (letrec* ([g (lambda (n f)
1198 (letrec ([f (letrec* ([g (values
[all …]
|
| H A D | oop.ms | 1816 (letrec-classes
1832 (letrec-classes
1868 (letrec-classes
1914 (letrec-classes
1928 (letrec-classes
1948 (letrec-classes
1966 (letrec-classes
2065 (letrec-classes
2089 (letrec-classes
2166 (letrec-classes
[all …]
|
| /dports/lang/racket/racket-8.3/src/ChezScheme/mats/ |
| H A D | 3.ms | 165 (mat letrec
527 (letrec ([a (letrec* ([b (lambda () a)]) (b))]
620 (letrec ([a (letrec ([b (letrec ([c (lambda () a)]) (c))])
732 (error? (letrec ([a (letrec ([b (lambda () (c))]
737 (error? (letrec ([a (letrec* ([b (lambda () (c))]
742 (error? (letrec ([a (letrec ([b (lambda () (c))]
801 (letrec ([a (letrec* ([b (lambda () (c))]
1179 (letrec ([f (letrec* ([g (lambda (x)
1188 (letrec ([f (letrec* ([g (lambda (n f)
1198 (letrec ([f (letrec* ([g (values
[all …]
|
| H A D | oop.ms | 1816 (letrec-classes
1832 (letrec-classes
1868 (letrec-classes
1914 (letrec-classes
1928 (letrec-classes
1948 (letrec-classes
1966 (letrec-classes
2065 (letrec-classes
2089 (letrec-classes
2166 (letrec-classes
[all …]
|
| /dports/lang/chez-scheme/ChezScheme-9.5.4/mats/ |
| H A D | 3.ms | 165 (mat letrec
527 (letrec ([a (letrec* ([b (lambda () a)]) (b))]
620 (letrec ([a (letrec ([b (letrec ([c (lambda () a)]) (c))])
732 (error? (letrec ([a (letrec ([b (lambda () (c))]
737 (error? (letrec ([a (letrec* ([b (lambda () (c))]
742 (error? (letrec ([a (letrec ([b (lambda () (c))]
801 (letrec ([a (letrec* ([b (lambda () (c))]
1179 (letrec ([f (letrec* ([g (lambda (x)
1188 (letrec ([f (letrec* ([g (lambda (n f)
1198 (letrec ([f (letrec* ([g (values
[all …]
|
| H A D | oop.ms | 1816 (letrec-classes
1832 (letrec-classes
1868 (letrec-classes
1914 (letrec-classes
1928 (letrec-classes
1948 (letrec-classes
1966 (letrec-classes
2065 (letrec-classes
2089 (letrec-classes
2166 (letrec-classes
[all …]
|
| /dports/lang/racket/racket-8.3/share/pkgs/macro-debugger/tests/macro-debugger/tests/ |
| H A D | syntax-basic.rkt | 103 (testK "letrec-values"
107 (testK "letrec-values"
148 (block->letrec (#%stratified-body (letrec-values ([(x) 'a]) (#%stratified-body 'b))))])
153 (block->letrec (#%stratified-body (letrec-values ([(x) 'a]) (#%stratified-body 'b))))
164 (block->letrec (#%stratified-body (letrec-values ([(x) 'a]) (#%stratified-body 'b))))
194 (block->letrec (lambda () (letrec-values ([(x) 'a]) 'b)))
202 (block->letrec (lambda () (letrec-values ([(x) 'a]) 'b)))
210 (block->letrec (lambda () (letrec-values ([(x) 'a]) 'b)))
217 (block->letrec (lambda () (letrec-values ([() (begin 'a (values))] [(x) 'b]) 'c)))
222 (block->letrec (lambda () (letrec-values ([() (begin 'a (values))] [(x) 'b]) 'c)))])]
[all …]
|
| /dports/lang/racket/racket-8.3/collects/racket/private/ |
| H A D | letstx-scheme.rkt | 3 ;; #%stxcase-scheme: adds let-syntax, letrec-syntax, etc.
10 (-define-syntax letrec-syntaxes
15 (letrec-syntaxes+values ([(id ...) expr] ...)
19 (-define-syntax letrec-syntax
24 (letrec-syntaxes+values ([(id) expr] ...)
38 (letrec-syntaxes+values ([(id ...)
45 (letrec-syntaxes+values ([(tmp ...) expr] ...) ()
57 letrec-syntaxes letrec-syntax let-syntaxes let-syntax))
|
| /dports/lang/mosh/mosh-0.2.7/boot/runtimes/srfi-mosh/lib.rnrs/core/ |
| H A D | let.nmosh.ss | 2 (export let letrec letrec*)
17 (syntax ((letrec ((f (lambda (x ...) e1 e2 ...))) f) v ...))))))
28 (syntax ((letrec ((f (lambda (x ...) e1 e2 ...))) f) v ...))))))
31 (define-syntax letrec
35 (syntax (vanilla-letrec ((i v) ...) e1 e2 ...))))))
38 (define-syntax letrec*
46 (define-syntax letrec*
50 (syntax (vanilla-letrec* ((i v) ...) e1 e2 ...))))))
|
| /dports/lang/racket-minimal/racket-8.3/collects/racket/private/ |
| H A D | letstx-scheme.rkt | 3 ;; #%stxcase-scheme: adds let-syntax, letrec-syntax, etc.
10 (-define-syntax letrec-syntaxes
15 (letrec-syntaxes+values ([(id ...) expr] ...)
19 (-define-syntax letrec-syntax
24 (letrec-syntaxes+values ([(id) expr] ...)
38 (letrec-syntaxes+values ([(id ...)
45 (letrec-syntaxes+values ([(tmp ...) expr] ...) ()
57 letrec-syntaxes letrec-syntax let-syntaxes let-syntax))
|
| /dports/lang/racket/racket-8.3/share/pkgs/eopl/tests/chapter7/inferred/ |
| H A D | tests.rkt | 123 (simple-letrec-1 "letrec int f(x : int) = -(x,1) in (f 33)" 32)
124 (simple-letrec-2
128 (simple-letrec-3
212 (simple-letrec-1 "letrec int f(x : int) = -(x,1) in (f 33)" int)
213 (simple-letrec-2
217 (simple-letrec-3
270 (apply-a-letrec "
285 in letrec
290 (letrec-apply-fact "
292 in letrec
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/src/schemify/ |
| H A D | letrec.rkt | 8 (provide letrec-splitable-values-binding?
9 letrec-split-values-binding
10 letrec-conversion)
15 (define (letrec-splitable-values-binding? idss rhss)
25 (define (letrec-split-values-binding idss rhss bodys)
26 `(letrec-values ,(for/list ([id (in-list (car idss))]
31 (define (letrec-conversion ids mutated target e)
37 (needs-letrec-convert-mutated-state? (hash-ref mutated ids #f))]
|
| /dports/lang/racket/racket-8.3/src/schemify/ |
| H A D | letrec.rkt | 8 (provide letrec-splitable-values-binding?
9 letrec-split-values-binding
10 letrec-conversion)
15 (define (letrec-splitable-values-binding? idss rhss)
25 (define (letrec-split-values-binding idss rhss bodys)
26 `(letrec-values ,(for/list ([id (in-list (car idss))]
31 (define (letrec-conversion ids mutated target e)
37 (needs-letrec-convert-mutated-state? (hash-ref mutated ids #f))]
|