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

Correct type of hash-has-key?.

Browse Source 
Closes PR 14157.

original commit: ff958867d5ee70876de287bcbd0db1fc19f9c4c0
This commit is contained in:
Eric Dobson 2013-11-17 10:34:15 -08:00
parent ef62cdb190
commit fbc20f5c70
2 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -719,8 +719,8 @@
[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? (-poly (a b) (cl-> [((-HT a b) a) B]
[(-HashTop a) B]))]
[hash-update! (-poly (a b)
(cl-> [((-HT a b) a (-> b b)) -Void]
[((-HT a b) a (-> b b) (-> b)) -Void]))]

1
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt
View File

@ -975,6 +975,7 @@
(-HT -Number -Number)]
[tc-e #{(make-immutable-hash) :: (HashTable String Symbol)}
(-HT -String -Symbol)]
[tc-e (hash-has-key? (make-hash '((1 . 2))) 1) -Boolean]
[tc-err (let: ([fact : (Number -> Number) (lambda: ([n : Number]) (if (zero? n) 1 (* n (fact (- n 1)))))])
(fact 20))]