From 8a608ed84011cdfeca34a827adfa993896f77b2d Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Tue, 19 Jul 2011 15:40:34 -0400 Subject: [PATCH] Conditionalize use of contract. --- collects/typed-scheme/infer/infer-unit.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/typed-scheme/infer/infer-unit.rkt b/collects/typed-scheme/infer/infer-unit.rkt index ab906f154b..b469536e2a 100644 --- a/collects/typed-scheme/infer/infer-unit.rkt +++ b/collects/typed-scheme/infer/infer-unit.rkt @@ -696,7 +696,7 @@ ;; just return a boolean result (define infer (let () - (define/contract (infer X Y S T R [expected #f]) + (define/cond-contract (infer X Y S T R [expected #f]) (((listof symbol?) (listof symbol?) (listof Type/c) (listof Type/c) Type?) ((or/c #f Type?)) . ->* . (or/c boolean? substitution/c)) (with-handlers ([exn:infer? (lambda _ #f)]) (let* ([expected-cset (if expected