suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Simplify type of hash-has-key?.

Browse Source 
original commit: c0230fb6f4732445fedeed78953d54e20090fa25
This commit is contained in:
Eric Dobson 2013-11-17 10:52:40 -08:00
parent fbc20f5c70
commit 3dad74141a
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt
View File

@ -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]))]