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

Simplify type.

Browse Source 
original commit: c8c6341970db042b62c9143f92914553e90dd843
This commit is contained in:
Vincent St-Amour 2013-04-01 11:56:26 -04:00
parent c36cbef304
commit 1d9ed172ef
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1905,8 +1905,8 @@
(unop -Zero) ; only exact case
((Un -PosRat -PosFlonum) . -> . -NonNegFlonum) ; possible underflow, no pos -> pos
((Un -NegRat -NegFlonum) . -> . -NonPosFlonum)
((Un -PosSingleFlonum) . -> . -NonNegSingleFlonum)
((Un -NegSingleFlonum) . -> . -NonPosSingleFlonum)
(-PosSingleFlonum . -> . -NonNegSingleFlonum)
(-NegSingleFlonum . -> . -NonPosSingleFlonum)
(map unop (list -FlonumNan -NonNegFlonum -NonPosFlonum -Flonum
-SingleFlonumNan -PosSingleFlonum -NonNegSingleFlonum -NegSingleFlonum -NonPosSingleFlonum -SingleFlonum
-PosInexactReal -NonNegInexactReal -NegInexactReal -NonPosInexactReal -InexactReal