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

Fixed the type for hash-ref!

Browse Source 
original commit: 90252c9bd33e7205a5494dd13fc823d6df78b477
This commit is contained in:
Vincent St-Amour 2010-06-28 18:09:30 -04:00
parent 98738ea50a
commit 431d91bf89
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
collects/typed-scheme/private/base-env.rkt
View File

@ -536,7 +536,8 @@
(cl-> [((-HT a b) a) b]
[((-HT a b) a (-> c)) (Un b c)]))]
[hash-ref! (-poly (a b)
(cl-> [((-HT a b) a (-> b)) b]))]
(cl-> [((-HT a b) a b) b]
[((-HT a b) a (-> b)) b]))]
[hash-has-key? (-poly (a b) (-> (-HT a b) a B))]
[hash-update! (-poly (a b)
(cl-> [((-HT a b) a (-> b b)) -Void]