suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fix log's type for Real inputs.

Browse Source
This commit is contained in:
Vincent St-Amour 2012-01-05 12:41:03 -05:00
parent c1ceebb92a
commit 4556ea2992
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
collects/typed-racket/base-env/base-env-numeric.rkt
View File

@ -1641,6 +1641,7 @@
(-SingleFlonum . -> . (Un -SingleFlonum -SingleFlonumComplex))
(-InexactRealZero . -> . -NegInexactReal)
(-NonNegInexactReal . -> . -InexactReal)
(-NonNegReal . -> . -Real)
(-ExactNumber . -> . (Un -ExactNumber -FloatComplex))
(-FloatComplex . -> . -FloatComplex)
(-SingleFlonumComplex . -> . -SingleFlonumComplex)