From d288b142443943680bd14def84a9507ee777fd8a Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Thu, 9 Apr 2015 23:43:12 -0700 Subject: [PATCH] Expand type of fl/. --- typed-racket-lib/typed-racket/base-env/base-env-numeric.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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 7f149c42..947776ee 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 @@ -488,7 +488,8 @@ (define fl/-type (fl-type-lambda (from-cases (-FlZero -Fl . -> . -FlZero) - (-PosFl -PosFl . -> . -NonNegFl) ; possible underflow + ;; we don't have Pos Pos -> Pos, possible underflow + (-NonNegFl -NonNegFl . -> . -NonNegFl) (commutative-binop -PosFl -NegFl -NonPosFl) (-NegFl -NegFl . -> . -NonNegFl) (binop -Fl))))