svn: r15644
This commit is contained in:
Sam Tobin-Hochstadt 2009-07-30 20:13:28 +00:00
parent 4c5c7cf89b
commit 1977ab0709

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)