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

more useful type for hash

Browse Source 
still only up to 8 arguments
This commit is contained in:
Alex Knauth 2015-01-24 09:59:43 -05:00 committed by Sam Tobin-Hochstadt
parent 066e4356b4
commit 19455584ab
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -867,8 +867,11 @@
[hash-eqv? (-> -HashTop B)]
[hash-equal? (-> -HashTop B)]
[hash-weak? (-> -HashTop B)]
;; not a very useful type, but better than nothing
[hash (-poly (a b) (-> (-HT a b)))]
[hash (-poly (a b) (cl->* (-> (-HT a b))
(a b . -> . (-HT a b))
(a b a b . -> . (-HT a b))
(a b a b a b . -> . (-HT a b))
(a b a b a b 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)))]