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

Fix type of fl/ to reflect changes to /.

Browse Source 
original commit: 53746ca0a5b5a959bf272ee8a88e8c3c9dbd3e8b
This commit is contained in:
Vincent St-Amour 2012-06-09 22:07:03 -04:00
parent 11b0166100
commit b64696f560
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

@ -474,8 +474,8 @@
(-FlonumPosZero -NegFlonum . -> . -FlonumNegZero)
(-FlonumNegZero -PosFlonum . -> . -FlonumNegZero)
(-FlonumNegZero -NegFlonum . -> . -FlonumPosZero)
(-PosFlonum -PosFlonum . -> . -NonNegFlonum) ; possible underflow
(commutative-binop -PosFlonum -NegFlonum -NonPosFlonum)
(-PosFlonum -PosFlonum . -> . (Un -NonNegFlonum -FlonumNan)) ; possible underflow
(commutative-binop -PosFlonum -NegFlonum (Un -NonPosFlonum -FlonumNan))
(-NegFlonum -NegFlonum . -> . (Un -NonNegFlonum -FlonumNan))
(binop -Flonum))))
(define fl=-type