From 062d973d040a6ddb77480126cee7396b09268cd7 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Sun, 9 Sep 2012 15:46:13 -0400 Subject: [PATCH] Integers include inexact single-float integers. Closes PR13103. original commit: adceb4322acbb31cfed9fdb2ab2825db46074f21 --- collects/typed-racket/base-env/base-env-numeric.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/typed-racket/base-env/base-env-numeric.rkt b/collects/typed-racket/base-env/base-env-numeric.rkt index 59eef6f8..58aad2d2 100644 --- a/collects/typed-racket/base-env/base-env-numeric.rkt +++ b/collects/typed-racket/base-env/base-env-numeric.rkt @@ -686,7 +686,7 @@ [zero? (asym-pred N B (-FS (-filter (Un -RealZero -InexactComplex) 0) (-not-filter -RealZero 0)))] [number? (make-pred-ty N)] -[integer? (asym-pred Univ B (-FS (-filter (Un -Int -Flonum) 0) ; inexact-integers exist... +[integer? (asym-pred Univ B (-FS (-filter (Un -Int -Flonum -SingleFlonum) 0) ; inexact-integers exist... (-not-filter -Int 0)))] [exact-integer? (make-pred-ty -Int)] [real? (make-pred-ty -Real)]