From f9c91d6b8a64c39905c8096979454eb5819ee276 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Mon, 7 Jul 2008 16:54:46 -0400 Subject: [PATCH] Constraining with bottom produces trivial constraints, not missing constraints. --- collects/typed-scheme/private/infer-unit.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/typed-scheme/private/infer-unit.ss b/collects/typed-scheme/private/infer-unit.ss index d6d32b3665..6a196875a2 100644 --- a/collects/typed-scheme/private/infer-unit.ss +++ b/collects/typed-scheme/private/infer-unit.ss @@ -300,7 +300,7 @@ (cg b b*)] - [((Union: es) S) (cset-meet* (for/list ([e es]) (cg e S)))] + [((Union: es) S) (cset-meet* (cons empty (for/list ([e es]) (cg e S))))] ;; we might want to use multiple csets here, but I don't think it makes a difference [(S (Union: es)) (or (for/or