From 781e0504bb568a1307819db90b94293e102a9025 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Sun, 29 Nov 2015 15:47:24 -0600 Subject: [PATCH] Type of expt was overly optimistic. --- typed-racket-lib/typed-racket/base-env/base-env-numeric.rkt | 2 +- 1 file changed, 1 insertion(+), 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 13e91ed6..af2f811e 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 @@ -1628,7 +1628,7 @@ (-NonNegReal -Fixnum . -> . -Real) (-InexactReal (Un -NegFixnum -PosFixnum) . -> . -InexactReal) (-InexactReal -InexactReal . -> . (Un -InexactReal -InexactComplex)) - (-Real -Integer . -> . -Real) + (-Real -Nat . -> . -Real) (-FloatComplex -FloatComplex . -> . -FloatComplex) (-FloatComplex -Flonum . -> . (Un -FloatComplex -Flonum)) (-FloatComplex -InexactReal . -> . (Un -FloatComplex -InexactReal))