From e118ab41e2afe96af7572e3e5949cf0e79d46999 Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Tue, 26 Mar 2013 00:06:29 -0700 Subject: [PATCH] Improve type of expt since inference is bad. Closes PR 13383. original commit: b637c24d888270385bad4d336c58b4f653c1fcc9 --- collects/typed-racket/base-env/base-env-numeric.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/typed-racket/base-env/base-env-numeric.rkt b/collects/typed-racket/base-env/base-env-numeric.rkt index dac5e096..aee19ef3 100644 --- a/collects/typed-racket/base-env/base-env-numeric.rkt +++ b/collects/typed-racket/base-env/base-env-numeric.rkt @@ -1700,7 +1700,7 @@ (-SingleFlonum (Un -NegInt -PosInt) . -> . -SingleFlonum) (-SingleFlonum -SingleFlonum . -> . (Un -SingleFlonum -SingleFlonumComplex)) (-InexactReal (Un -NegInt -PosInt) . -> . -InexactReal) - (-Real (Un -NegInt -PosInt) . -> . -Real) + (-Real -Int . -> . -Real) (-InexactReal -InexactReal . -> . (Un -InexactReal -InexactComplex)) (-FloatComplex (Un -InexactComplex -InexactReal) . -> . -FloatComplex) (-SingleFlonumComplex (Un -SingleFlonum -SingleFlonumComplex) . -> . -SingleFlonumComplex)