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

Missed some cases in sqrt.

Browse Source 
original commit: 948a4d6184751bacabb44adad39d9fb5aa804988
This commit is contained in:
Vincent St-Amour 2012-06-09 22:11:42 -04:00
parent a8d6407857
commit 90909c1c68
1 changed files with 0 additions and 2 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

@ -1693,8 +1693,6 @@
-SingleFlonumPosZero -SingleFlonumNegZero -SingleFlonumZero -PosSingleFlonum -NonNegSingleFlonum
-InexactRealPosZero -InexactRealNegZero -InexactRealZero -PosInexactReal -NonNegInexactReal
-RealZero -PosReal -NonNegReal))
(-ExactNumber . -> . -ExactNumber)
(-Flonum . -> . (Un -Flonum -FloatComplex))
(-FloatComplex . -> . -FloatComplex)
(-SingleFlonumComplex . -> . -SingleFlonumComplex)
(-InexactComplex . -> . -InexactComplex)