suzanne.soy/typed-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.

original commit: adceb4322acbb31cfed9fdb2ab2825db46074f21
This commit is contained in:
Vincent St-Amour 2012-09-09 15:46:13 -04:00
parent dc38b069d9
commit 062d973d04
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)
(-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)]