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

Improve type for expt.

Browse Source 
original commit: f3bbe1914dc068f84a5a3aa4782156a5360cbde5
This commit is contained in:
Vincent St-Amour 2012-04-06 18:39:24 -04:00
parent 0cfa940a0e
commit db9690f75f
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

@ -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)