From c38c1c57b215b87cd120cc126888b7a951f163e1 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Thu, 1 May 2008 20:10:56 +0000 Subject: [PATCH] Infer for fewer variables. Improve error messages. Extend csets to lists of maps. Handle case-lambda arguments to poly funcs better. Don't fail when there isn't a minimal substitution. svn: r9573 original commit: 1449dec3727e591409f476ca4ddc9f8e96b3a102 --- collects/typed-scheme/private/base-env.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/typed-scheme/private/base-env.ss b/collects/typed-scheme/private/base-env.ss index 86918576..3a73645b 100644 --- a/collects/typed-scheme/private/base-env.ss +++ b/collects/typed-scheme/private/base-env.ss @@ -96,7 +96,7 @@ (integer? (make-pred-ty -Integer)) (boolean? (make-pred-ty B)) (add1 (cl->* - #;(-> -Integer -Integer) + (-> -Integer -Integer) (-> N N))) (sub1 (cl->* #;(-> -Integer -Integer)