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

Fix type of division.

Browse Source 
original commit: 7c6cf0fa8b43e39f88211fa35ac151616f2704ba
This commit is contained in:
Vincent St-Amour 2012-08-10 17:55:30 -04:00
parent 1d6678c2ad
commit b59fef3342
1 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1188,9 +1188,8 @@
(commutative-case -InexactReal (Un -PosRat -NegRat -InexactReal) -InexactReal)
(varop-1+ -InexactReal)
;; reals
(varop-1+ -PosReal)
(-> -NegReal -NegReal)
(-> -NonPosReal -NonPosReal)
(varop-1+ -PosReal -NonNegReal)
(-> -NegReal -NonPosReal)
(-> -NegReal -NegReal -NonNegReal)
(-> -NegReal -PosReal -NonPosReal)
(-> -PosReal -NegReal -NonPosReal)