From 349755c4463c8a1fbb33be2028d20191aeeb013c Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Tue, 23 Feb 2010 02:05:40 +0000 Subject: [PATCH] Fix bad hashtable type inference. svn: r18284 original commit: f2ee3aa7b6a71320d00d75d0b18191dba2e2c23c --- collects/typed-scheme/infer/infer-unit.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/typed-scheme/infer/infer-unit.ss b/collects/typed-scheme/infer/infer-unit.ss index eff88dd2..fdc6da25 100644 --- 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