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

Fix type of exact->inexact.

Browse Source 
Closes PR 12803.

original commit: cff1cd3c6395007facff39e421f043b71cccd1d8
This commit is contained in:
Vincent St-Amour 2012-06-11 19:01:35 -04:00
parent 8369a85392
commit 9d813f495f
1 changed files with 10 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1520,14 +1520,19 @@
;; exactness
[exact->inexact
(from-cases (map unop all-float-types)
(-RealZero . -> . -FlonumZero)
(-NonNegReal . -> . -NonNegFlonum) ; not for Pos, possible underflow
(-NonPosReal . -> . -NonPosFlonum)
(-Real . -> . -Flonum)
(-Zero . -> . -FlonumZero)
(-PosRat . -> . -NonNegFlonum)
(-NegRat . -> . -NonPosFlonum)
(-Rat . -> . -Flonum)
(map unop (list -FlonumZero -PosFlonum -NonNegFlonum -NegFlonum -NonPosFlonum -Flonum
-SingleFlonumZero -PosSingleFlonum -NonNegSingleFlonum -NegSingleFlonum -NonPosSingleFlonum -SingleFlonum))
(-NonNegReal . -> . -NonNegInexactReal) ; not for Pos, possible underflow
(-NonPosReal . -> . -NonPosInexactReal)
(-Real . -> . -InexactReal)
(-FloatComplex . -> . -FloatComplex)
(-SingleFlonumComplex . -> . -SingleFlonumComplex)
(-InexactComplex . -> . -InexactComplex)
(N . -> . -FloatComplex))]
(N . -> . N))]
[inexact->exact
(from-cases (map unop all-rat-types)
(-RealZero . -> . -Zero)