From d946060a13e688daab43949e1a623ea2a3de6102 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Wed, 22 Jun 2011 14:30:24 -0400 Subject: [PATCH] Fix type of = to only accept 2+ arguments. --- collects/typed-scheme/base-env/base-env-numeric.rkt | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/collects/typed-scheme/base-env/base-env-numeric.rkt b/collects/typed-scheme/base-env/base-env-numeric.rkt index a734732b76..b71f911efd 100644 --- a/collects/typed-scheme/base-env/base-env-numeric.rkt +++ b/collects/typed-scheme/base-env/base-env-numeric.rkt @@ -73,8 +73,8 @@ (-> specific general B : (-FS (-filter specific 1) -top)))) (define (exclude-zero non-neg pos [zero -Zero]) - (list (-> zero non-neg : (-FS (-filter zero 1) (-filter pos 1))) - (-> non-neg zero : (-FS (-filter zero 0) (-filter pos 0))))) + (list (-> zero non-neg B : (-FS (-filter zero 1) (-filter pos 1))) + (-> non-neg zero B : (-FS (-filter zero 0) (-filter pos 0))))) (define round-type ; also used for truncate @@ -691,7 +691,7 @@ ;; types (map (lambda (t) (commutative-equality/filter -Real t)) (list -RealZero -PosReal -NonNegReal -NegReal -NonPosReal -Real)) - (map comp (list -FloatComplex -SingleFlonumComplex -InexactComplex N)))] + (->* (list N N) N B))] [< (from-cases (-> -Pos -One B : (-FS (-filter (Un) 0) -top)) ; can't happen