suzanne.soy/typed-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 
original commit: a8199ad1d2586f18d70cb70c79bc87256c030b1a
This commit is contained in:
Eric Dobson 2014-01-11 09:49:05 -08:00
parent 816a72685a
commit db5ce70361
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 ()
(apply combine-kinds max (map lookup (dict-keys others)))))]))
(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))))
@ -77,10 +77,12 @@
[(recursive-contract names values body)
(define raw-names (generate-temporaries names))
(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)]))
(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
#,(kind->keyword
(hash-ref recursive-kinds name)))]))