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

remove c

Browse Source 
svn: r15644

original commit: 1977ab070999d88811c345ea7832432e1a4b3ca0
This commit is contained in:
Sam Tobin-Hochstadt 2009-07-30 20:13:28 +00:00
parent b168bed203
commit 93bdf0ebba
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -488,7 +488,7 @@
(cl-> [((-HT a b) a) b]
[((-HT a b) a (-> c)) (Un b c)]
[((-HT a b) a c) (Un b c)]))]
[hash-ref! (-poly (a b c)
[hash-ref! (-poly (a b)
(cl-> [((-HT a b) a (-> b)) b]
[((-HT a b) a b) b]))]
[hash-iterate-first (-poly (a b)