From c0230fb6f4732445fedeed78953d54e20090fa25 Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Sun, 17 Nov 2013 10:52:40 -0800 Subject: [PATCH] Simplify type of hash-has-key?. --- .../typed-racket-lib/typed-racket/base-env/base-env.rkt | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) 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 91c525151e..e2a15edbdc 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 @@ -719,8 +719,7 @@ [hash-ref! (-poly (a b) (cl-> [((-HT a b) a b) b] [((-HT a b) a (-> b)) b]))] -[hash-has-key? (-poly (a b) (cl-> [((-HT a b) a) B] - [(-HashTop a) B]))] +[hash-has-key? (-HashTop Univ . -> . B)] [hash-update! (-poly (a b) (cl-> [((-HT a b) a (-> b b)) -Void] [((-HT a b) a (-> b b) (-> b)) -Void]))]