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

Add types to hasheq and hasheqv.

Browse Source 
Merge to 6.0.

original commit: 48a16b2b8a6cb0af6607a3056f6723f34da855f3
This commit is contained in:
Eric Dobson 2013-12-12 08:32:06 -08:00
parent 1fd8631786
commit 48dcf14b58
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -727,6 +727,8 @@
[hash-weak? (-> -HashTop B)]
;; not a very useful type, but better than nothing
[hash (-poly (a b) (-> (-HT a b)))]
[hasheqv (-poly (a b) (-> (-HT a b)))]
[hasheq (-poly (a b) (-> (-HT a b)))]
[make-hash (-poly (a b) (->opt [(-lst (-pair a b))] (-HT a b)))]
[make-hasheq (-poly (a b) (->opt [(-lst (-pair a b))] (-HT a b)))]
[make-hasheqv (-poly (a b) (->opt [(-lst (-pair a b))] (-HT a b)))]