From 3dad74141a493ddf5d9736084a9a151e395dab4f 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?. original commit: c0230fb6f4732445fedeed78953d54e20090fa25 --- .../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 91c52515..e2a15edb 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]))]