From db9690f75f076798ef4f7ea0ffa35abc08ebb077 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Fri, 6 Apr 2012 18:39:24 -0400 Subject: [PATCH] Improve type for expt. original commit: f3bbe1914dc068f84a5a3aa4782156a5360cbde5 --- collects/typed-racket/base-env/base-env-numeric.rkt | 1 + 1 file changed, 1 insertion(+) diff --git a/collects/typed-racket/base-env/base-env-numeric.rkt b/collects/typed-racket/base-env/base-env-numeric.rkt index da54cbae..3a55f923 100644 --- a/collects/typed-racket/base-env/base-env-numeric.rkt +++ b/collects/typed-racket/base-env/base-env-numeric.rkt @@ -1608,6 +1608,7 @@ (-SingleFlonum (Un -NegInt -PosInt) . -> . -SingleFlonum) (-SingleFlonum -SingleFlonum . -> . (Un -SingleFlonum -SingleFlonumComplex)) (-InexactReal (Un -NegInt -PosInt) . -> . -InexactReal) + (-Real (Un -NegInt -PosInt) . -> . -Real) (-InexactReal -InexactReal . -> . (Un -InexactReal -InexactComplex)) (-ExactNumber -ExactNumber . -> . -ExactNumber) (N -FloatComplex . -> . -FloatComplex)