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

Fix type of integer-sqrt and add type for integer-sqrt/remainder.

Browse Source
This commit is contained in:
Eric Dobson 2012-08-05 11:54:03 -07:00 committed by Vincent St-Amour
parent 8a0b6549a5
commit f090698542
1 changed files with 19 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1665,7 +1665,25 @@
-InexactRealPosZero -InexactRealNegZero -InexactRealZero -NonNegInexactReal
-RealZero -NonNegReal))
(-Rat . -> . -ExactNumber)
(N . -> . N))] ; defined on inexact integers too
(-Real . -> . N))] ; defined on inexact integers too, but not complex
[integer-sqrt/remainder
(from-cases
(-Zero . -> . (-values -Zero -Zero))
(-One . -> . (-values -One -Zero))
(-Byte . -> . (-values -Byte -Byte))
(-Index . -> . (-values -Index -Index))
(-NonNegFixnum . -> . (-values -Index -NonNegFixnum))
(map (λ (t) (t . -> . (-values t -Int)))
(list -Nat -NonNegRat
-FlonumPosZero -FlonumNegZero -FlonumZero -NonNegFlonum
-SingleFlonumPosZero -SingleFlonumNegZero -SingleFlonumZero -NonNegSingleFlonum
-InexactRealPosZero -InexactRealNegZero -InexactRealZero -NonNegInexactReal
-RealZero -NonNegReal))
(-Rat . -> . (-values -ExactNumber -Int))
(-Real . -> . (-values N -Int)))] ; defined on inexact integers too
[log (cl->*
(-NonNegRat . -> . -Real)
(-FlonumZero . -> . -NegFlonum)