From 48a16b2b8a6cb0af6607a3056f6723f34da855f3 Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Thu, 12 Dec 2013 08:32:06 -0800 Subject: [PATCH] Add types to hasheq and hasheqv. Merge to 6.0. --- .../typed-racket-lib/typed-racket/base-env/base-env.rkt | 2 ++ 1 file changed, 2 insertions(+) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt index 6438a24eaa..042039c273 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt @@ -727,6 +727,8 @@ [hash-weak? (-> -HashTop B)] ;; not a very useful type, but better than nothing [hash (-poly (a b) (-> (-HT a b)))] +[hasheqv (-poly (a b) (-> (-HT a b)))] +[hasheq (-poly (a b) (-> (-HT a b)))] [make-hash (-poly (a b) (->opt [(-lst (-pair a b))] (-HT a b)))] [make-hasheq (-poly (a b) (->opt [(-lst (-pair a b))] (-HT a b)))] [make-hasheqv (-poly (a b) (->opt [(-lst (-pair a b))] (-HT a b)))]