From 811cd211e9e3b8e07f56bebebbe7062b36e28b1c Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Thu, 9 Apr 2015 23:38:26 -0700 Subject: [PATCH] Tighten fl+ and fl- types. --- .../typed-racket/base-env/base-env-numeric.rkt | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/typed-racket-lib/typed-racket/base-env/base-env-numeric.rkt b/typed-racket-lib/typed-racket/base-env/base-env-numeric.rkt index 6d2fba01..04f49999 100644 --- a/typed-racket-lib/typed-racket/base-env/base-env-numeric.rkt +++ b/typed-racket-lib/typed-racket/base-env/base-env-numeric.rkt @@ -466,14 +466,16 @@ (list -FlZero -FlNan -PosFl -NonNegFl -NegFl -NonPosFl -Fl)) (commutative-binop -NonNegFl -PosFl -PosFl) - (map binop (list -NonNegFl -NegFl -NonPosFl -Fl)) - (-Fl -Fl . -> . -Fl)))) + (map binop (list -NonNegFl -NegFl -NonPosFl -Fl))))) (define fl--type (fl-type-lambda (from-cases (binop -FlZero) - (-NegFl (Un -NonNegFl -FlZero) . -> . -NegFl) - ((Un -NonPosFl -FlZero) -PosFl . -> . -NegFl) + (-NegFl -NonNegFl . -> . -NegFl) + (-NonPosFl -PosFl . -> . -NegFl) (-NonPosFl -NonNegFl . -> . -NonPosFl) + (-PosFl -NonPosFl . -> . -PosFl) + (-NonNegFl -NegFl . -> . -PosFl) + (-NonNegFl -NonPosFl . -> . -NonNegFl) (binop -Fl)))) (define fl*-type (fl-type-lambda