Fix bad hashtable type inference.

svn: r18284 original commit: f2ee3aa7b6a71320d00d75d0b18191dba2e2c23c
2010-02-23 02:05:40 +00:00 · 2010-02-23 02:05:40 +00:00 · 349755c446
commit 349755c446
parent bcebf867f4
1 changed files with 1 additions and 1 deletions
--- a/collects/typed-scheme/infer/infer-unit.ss
+++ b/collects/typed-scheme/infer/infer-unit.ss
@ -388,7 +388,7 @@
           (cset-meet (cg e e*) (cg e* e))]
          [((Hashtable: s1 s2) (Hashtable: t1 t2))
           ;; the key is contravariant, the value is invariant
-           (cset-meet* (list (cg t1 s1) (cg t2 s2) (cg s2 t2)))]
+           (cset-meet* (list (cg t1 s1) (cg s1 t1) (cg t2 s2) (cg s2 t2)))]
          [((Syntax: s1) (Syntax: s2))
           (cg s1 s2)]
          ;; parameters are just like one-arg functions