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

Fix hash iteration types for HashTableTop.

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2016-01-23 11:56:18 -05:00
parent 0308a229ed
commit 9ba130976c
1 changed files with 10 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
typed-racket-lib/typed-racket/base-env/base-env.rkt
View File

@ -957,13 +957,19 @@
[equal-hash-code (-> Univ -Fixnum)]
[equal-secondary-hash-code (-> Univ -Fixnum)]
[hash-iterate-first (-poly (a b)
((-HT a b) . -> . (Un (-val #f) -Integer)))]
(cl->*
((-HT a b) . -> . (Un (-val #f) -Integer))
(-> -HashTop (Un (-val #f) -Integer))))]
[hash-iterate-next (-poly (a b)
((-HT a b) -Integer . -> . (Un (-val #f) -Integer)))]
(cl->*
((-HT a b) -Integer . -> . (Un (-val #f) -Integer))
(-> -HashTop -Integer (Un (-val #f) -Integer))))]
[hash-iterate-key (-poly (a b)
((-HT a b) -Integer . -> . a))]
(cl->* ((-HT a b) -Integer . -> . a)
(-> -HashTop -Integer Univ)))]
[hash-iterate-value (-poly (a b)
((-HT a b) -Integer . -> . b))]
(cl->* ((-HT a b) -Integer . -> . b)
(-> -HashTop -Integer Univ)))]
[make-custom-hash (->opt (-> Univ Univ Univ) (-> Univ -Nat) [(-> Univ -Nat)] Univ)]
[make-immutable-custom-hash (->opt (-> Univ Univ Univ) (-> Univ -Nat) [(-> Univ -Nat)] Univ)]