From 6a607be6a976f8767f1000eee42241578418fe4a Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Mon, 7 Jul 2008 17:15:43 -0400 Subject: [PATCH] If there are extra effects, let them be. --- 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 24f536ed48..8d197b94e0 100644 --- a/collects/typed-scheme/private/infer-unit.ss +++ b/collects/typed-scheme/private/infer-unit.ss @@ -105,7 +105,7 @@ [(_ _) (fail! t s)])) (define (cgen/eff/list V X ts ss) - (unless (= (length ts) (length ss)) (fail! ts ss)) + (unless (>= (length ts) (length ss)) (fail! ts ss)) (cset-meet* (for/list ([t ts] [s ss]) (cgen/eff V X t s)))) (define (cgen/arr V X t-arr s-arr)