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

Simplify types for nan? and infinite?

Browse Source
This commit is contained in:
Eric Dobson 2015-04-09 21:04:27 -07:00
parent e91cdad6b0
commit 69e613c831
1 changed files with 2 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1946,17 +1946,9 @@
(-> (Un -NonPosRat -NonPosFlonum -NonPosSingleFlonum -NonPosInexactReal -NonPosReal) -NonPosInt)
(-> (Un -Rat -Flonum -SingleFlonum -InexactReal -Real) -Int))]
[nan? (from-cases
(-> -Rat (-val #f))
(-> (Un -FlonumNan -SingleFlonumNan) (-val #t))
(-> -Real B))]
[nan? (make-pred-ty (list -Real) B -InexactRealNan)]
[infinite? (from-cases
(-> (Un -FlonumNan -FlonumNegZero -FlonumPosZero
-SingleFlonumNan -SingleFlonumNegZero -SingleFlonumPosZero
-Rat)
(-val #f))
(-> -Real B))]
[infinite? (make-pred-ty (list -Real) B (Un -PosInfinity -NegInfinity))]
;; racket/fixnum
[fx+ (fx+-type)]