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

Integers include inexact single-float integers.

Browse Source 
Closes PR13103.
This commit is contained in:
Vincent St-Amour 2012-09-09 15:46:13 -04:00
parent 729d154deb
commit adceb4322a
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -686,7 +686,7 @@
[zero? (asym-pred N B (-FS (-filter (Un -RealZero -InexactComplex) 0) [zero? (asym-pred N B (-FS (-filter (Un -RealZero -InexactComplex) 0)
(-not-filter -RealZero 0)))] (-not-filter -RealZero 0)))]
[number? (make-pred-ty N)] [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)))] (-not-filter -Int 0)))]
[exact-integer? (make-pred-ty -Int)] [exact-integer? (make-pred-ty -Int)]
[real? (make-pred-ty -Real)] [real? (make-pred-ty -Real)]