From 69e613c83142421c71ce95100bc02f8514df2ed2 Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Thu, 9 Apr 2015 21:04:27 -0700 Subject: [PATCH] Simplify types for nan? and infinite? --- .../typed-racket/base-env/base-env-numeric.rkt | 12 ++---------- 1 file changed, 2 insertions(+), 10 deletions(-) diff --git a/typed-racket-lib/typed-racket/base-env/base-env-numeric.rkt b/typed-racket-lib/typed-racket/base-env/base-env-numeric.rkt index 516e8dab..285c529e 100644 --- a/typed-racket-lib/typed-racket/base-env/base-env-numeric.rkt +++ b/typed-racket-lib/typed-racket/base-env/base-env-numeric.rkt @@ -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)]