From f315f666d55f06da78db6048b29d8f660970841d Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Tue, 8 Jun 2010 11:59:54 -0400 Subject: [PATCH] more precise type for `max' original commit: 0f4db44be3cbc42e0546b7b61ad1b18156cf6607 --- collects/typed-scheme/private/base-env-numeric.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/typed-scheme/private/base-env-numeric.rkt b/collects/typed-scheme/private/base-env-numeric.rkt index 2c01762c..163115bf 100644 --- a/collects/typed-scheme/private/base-env-numeric.rkt +++ b/collects/typed-scheme/private/base-env-numeric.rkt @@ -89,7 +89,7 @@ (for/list ([t (list -ExactRational -Flonum -Real N)]) (->* (list t) t t)))] -[max (apply cl->* (for/list ([t all-num-types]) (->* (list t) t t)))] +[max (apply cl->* (->* (list -Pos) -Integer -Pos) (->* (list -Nat) -Integer -Nat) (for/list ([t all-num-types]) (->* (list t) t t)))] [min (apply cl->* (for/list ([t all-num-types]) (->* (list t) t t)))]