From db5ce70361688dd5b762d6d7b8d52c40ac77fde1 Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Sat, 11 Jan 2014 09:49:05 -0800 Subject: [PATCH] Add in-list and in-hash to instantiate. original commit: a8199ad1d2586f18d70cb70c79bc87256c030b1a --- .../typed-racket/static-contracts/instantiate.rkt | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/static-contracts/instantiate.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/static-contracts/instantiate.rkt index 7f7db9a5..dcb9f4bf 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/static-contracts/instantiate.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/static-contracts/instantiate.rkt @@ -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)))]))