From 4556ea2992bc1eec218447dc3e834439e728772d Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Thu, 5 Jan 2012 12:41:03 -0500 Subject: [PATCH] Fix log's type for Real inputs. --- 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 43421ae33c..6cd8b04f49 100644 --- a/collects/typed-racket/base-env/base-env-numeric.rkt +++ b/collects/typed-racket/base-env/base-env-numeric.rkt @@ -1641,6 +1641,7 @@ (-SingleFlonum . -> . (Un -SingleFlonum -SingleFlonumComplex)) (-InexactRealZero . -> . -NegInexactReal) (-NonNegInexactReal . -> . -InexactReal) + (-NonNegReal . -> . -Real) (-ExactNumber . -> . (Un -ExactNumber -FloatComplex)) (-FloatComplex . -> . -FloatComplex) (-SingleFlonumComplex . -> . -SingleFlonumComplex)