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

Improve type of expt since inference is bad.

Browse Source 
Closes PR 13383.

original commit: b637c24d888270385bad4d336c58b4f653c1fcc9
This commit is contained in:
Eric Dobson 2013-03-26 00:06:29 -07:00
parent e45eac7249
commit e118ab41e2
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

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