From fc4e216fc242a4c8eb303994a4b965d32ad47bb7 Mon Sep 17 00:00:00 2001
From: Eric Dobson <eric.n.dobson@gmail.com>
Date: Thu, 9 Apr 2015 23:59:12 -0700
Subject: [PATCH] Simplify flexp type.

---
 typed-racket-lib/typed-racket/base-env/base-env-numeric.rkt | 3 +--
 1 file changed, 1 insertion(+), 2 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 252c1ad9..375dc6d4 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
@@ -558,8 +558,7 @@
   (define flexp-type
     (fl-type-lambda
       (from-cases (-NonNegFl . -> . -PosFl)
-                  (-NegFl . -> . -NonNegFl)
-                  (-Fl . -> . -Fl)))) ; nan is the only non nonnegative case (returns nan)
+                  (-Fl . -> . -NonNegFl))))
   (define flsqrt-type
     (fl-type-lambda
       (from-cases (map unop (list -FlPosZero -FlNegZero -FlZero