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

Simplify types of integer-sqrt.

Browse Source
This commit is contained in:
Eric Dobson 2015-04-09 20:36:22 -07:00
parent 70fdc3dd13
commit eeef1a7c55
1 changed files with 5 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
typed-racket-lib/typed-racket/base-env/base-env-numeric.rkt
View File

@ -1711,13 +1711,12 @@
(N . -> . N))]
[integer-sqrt
(from-cases
(map unop (list -Zero -One -Byte -Index))
(-> (Un -RealZero -One) (Un -RealZero -One) : -true-filter : (-arg-path 0))
(unop -Byte)
(-NonNegFixnum . -> . -Index)
(map unop (list -Nat -NonNegRat
-FlonumPosZero -FlonumNegZero -FlonumZero -NonNegFlonum
-SingleFlonumPosZero -SingleFlonumNegZero -SingleFlonumZero -NonNegSingleFlonum
-InexactRealPosZero -InexactRealNegZero -InexactRealZero -NonNegInexactReal
-RealZero -NonNegReal))
(-NonNegRat . -> . -Nat)
(map unop (list -NonNegFlonum -NonNegSingleFlonum -NonNegInexactReal -NonNegReal))
; This errors on NaN so we can ignore it
(-Rat . -> . -ExactNumber)
(-Real . -> . N))] ; defined on inexact integers too, but not complex
[integer-sqrt/remainder