suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Add in-list and in-hash to instantiate.

Browse Source
This commit is contained in:
Eric Dobson 2014-01-11 09:49:05 -08:00
parent 0be83b6c67
commit a8199ad1d2
1 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/static-contracts/instantiate.rkt
View File

@ -67,7 +67,7 @@
(lambda () (lambda ()
(apply combine-kinds max (map lookup (dict-keys others)))))])) (apply combine-kinds max (map lookup (dict-keys others)))))]))
(define var-values (resolve-equations eqs)) (define var-values (resolve-equations eqs))
(for/hash (((name var) vars)) (for/hash (((name var) (in-hash vars)))
(values name (hash-ref var-values var)))) (values name (hash-ref var-values var))))
@ -77,10 +77,12 @@
[(recursive-contract names values body) [(recursive-contract names values body)
(define raw-names (generate-temporaries names)) (define raw-names (generate-temporaries names))
(define raw-bindings (define raw-bindings
(for/list ([raw-name raw-names] [value values]) (for/list ([raw-name (in-list raw-names)]
[value (in-list values)])
#`[#,raw-name #,(recur value)])) #`[#,raw-name #,(recur value)]))
(define bindings (define bindings
(for/list ([name names] [raw-name raw-names]) (for/list ([name (in-list names)]
[raw-name (in-list raw-names)])
#`[#,name (c:recursive-contract #,raw-name #`[#,name (c:recursive-contract #,raw-name
#,(kind->keyword #,(kind->keyword
(hash-ref recursive-kinds name)))])) (hash-ref recursive-kinds name)))]))