From 3a245a27e08b5d91fbaf20a43e5d4bf363c98084 Mon Sep 17 00:00:00 2001 From: Stephen Chang Date: Tue, 26 Jan 2016 17:06:33 -0500 Subject: [PATCH] fix type of hash-iterate-key+value --- typed-racket-lib/typed-racket/base-env/base-env.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/typed-racket-lib/typed-racket/base-env/base-env.rkt b/typed-racket-lib/typed-racket/base-env/base-env.rkt index c968a57f..8ebfe693 100644 --- a/typed-racket-lib/typed-racket/base-env/base-env.rkt +++ b/typed-racket-lib/typed-racket/base-env/base-env.rkt @@ -975,7 +975,7 @@ (-> -HashTop -Integer Univ)))] [hash-iterate-key+value (-poly (a b) (cl->* ((-HT a b) -Integer . -> . (-values (list a b))) - (-> -HashTop -Integer Univ)))] + (-> -HashTop -Integer (-values (list Univ Univ)))))] [make-custom-hash (->opt (-> Univ Univ Univ) (-> Univ -Nat) [(-> Univ -Nat)] Univ)] [make-immutable-custom-hash (->opt (-> Univ Univ Univ) (-> Univ -Nat) [(-> Univ -Nat)] Univ)]