suzanne.soy/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
This commit is contained in:
Carl Eastlund 2010-02-16 00:55:03 +00:00
parent 08b53c715d
commit 52f2ec2e30
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-has-key? (-poly (a b) (-> (-HT a b) a B))]
[hash-update! (-poly (a b) [hash-update! (-poly (a b)
(cl-> [((-HT a b) a (-> b b)) -Void] (cl-> [((-HT a b) a (-> b b)) -Void]
[((-HT a b) a (-> b b) (-> a)) -Void] [((-HT a b) a (-> b b) (-> b)) -Void]
[((-HT a b) a (-> b b) a) -Void]))] [((-HT a b) a (-> b b) b) -Void]))]
[hash-update (-poly (a b) [hash-update (-poly (a b)
(cl-> [((-HT a b) a (-> b b)) (-HT 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) (-> b)) (-HT a b)]
[((-HT a b) a (-> b b) a) (-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 . -> . (-HT a b)))]
[hash-remove! (-poly (a b) ((-HT a b) a . -> . -Void))] [hash-remove! (-poly (a b) ((-HT a b) a . -> . -Void))]
[hash-map (-poly (a b c) ((-HT a b) (a b . -> . c) . -> . (-lst c)))] [hash-map (-poly (a b c) ((-HT a b) (a b . -> . c) . -> . (-lst c)))]