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

Corrected types of hash-update and hash-update!

Browse Source 
svn: r18093

original commit: 52f2ec2e30e7ffdb3d0f44d3cb2a07e52e0b5be7
This commit is contained in:
Carl Eastlund 2010-02-16 00:55:03 +00:00
parent 8c9670ca0c
commit 0d5a01f2a7
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
collects/typed-scheme/private/base-env.ss
View File

@ -403,12 +403,12 @@
[hash-has-key? (-poly (a b) (-> (-HT a b) a B))]
[hash-update! (-poly (a b)
(cl-> [((-HT a b) a (-> b b)) -Void]
[((-HT a b) a (-> b b) (-> a)) -Void]
[((-HT a b) a (-> b b) a) -Void]))]
[((-HT a b) a (-> b b) (-> b)) -Void]
[((-HT a b) a (-> b b) b) -Void]))]
[hash-update (-poly (a b)
(cl-> [((-HT a b) a (-> b b)) (-HT a b)]
[((-HT a b) a (-> b b) (-> a)) (-HT a b)]
[((-HT a b) a (-> b b) a) (-HT a b)]))]
[((-HT a b) a (-> b b) (-> b)) (-HT a b)]
[((-HT a b) a (-> b b) b) (-HT a b)]))]
[hash-remove (-poly (a b) ((-HT a b) a . -> . (-HT a b)))]
[hash-remove! (-poly (a b) ((-HT a b) a . -> . -Void))]
[hash-map (-poly (a b c) ((-HT a b) (a b . -> . c) . -> . (-lst c)))]