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

Exclude the right zeroes when checking for equality.

Browse Source 
original commit: b42034f98b548aa473384e06e2cd153ba9847858
This commit is contained in:
Vincent St-Amour 2013-02-04 14:18:53 -05:00
parent 327c55a28b
commit 6687c8c5cd
2 changed files with 18 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
collects/tests/typed-racket/unit-tests/typecheck-tests.rkt
View File

@ -1467,6 +1467,12 @@
[tc-e (let: ([x : Float 0.0])
(= 0 x))
#:ret (ret -Boolean (-FS -top -top) (make-Empty))]
[tc-e (let: ([x : Inexact-Real 0.0])
(= 0 x))
#:ret (ret -Boolean (-FS -top -top) (make-Empty))]
[tc-e (let: ([x : Real 0.0])
(= 0 x))
#:ret (ret -Boolean (-FS -top -top) (make-Empty))]
[tc-e/t (ann (lambda: ([x : Boolean]) (if x x #t)) (Boolean -> #t)) (t:-> -Boolean (-val #t))]

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

@ -736,18 +736,18 @@
(list -NonNegRat -PosRat)
(list -NonPosRat -NegRat)
(list -Rat (Un -PosRat -NegRat))
(list -NonNegFlonum -PosFlonum)
(list -NonPosFlonum -NegFlonum)
(list -Flonum (Un -PosFlonum -NegFlonum))
(list -NonNegSingleFlonum -PosSingleFlonum)
(list -NonPosSingleFlonum -NegSingleFlonum)
(list -SingleFlonum (Un -PosSingleFlonum -NegSingleFlonum))
(list -NonNegInexactReal -PosInexactReal)
(list -NonPosInexactReal -NegInexactReal)
(list -InexactReal (Un -PosInexactReal -NegInexactReal))
(list -NonNegReal -PosReal)
(list -NonPosReal -NegReal)
(list -Real (Un -PosReal -NegReal))))
(list -NonNegFlonum -PosFlonum -FlonumZero)
(list -NonPosFlonum -NegFlonum -FlonumZero)
(list -Flonum (Un -PosFlonum -NegFlonum) -FlonumZero)
(list -NonNegSingleFlonum -PosSingleFlonum -SingleFlonumZero)
(list -NonPosSingleFlonum -NegSingleFlonum -SingleFlonumZero)
(list -SingleFlonum (Un -PosSingleFlonum -NegSingleFlonum) -SingleFlonumZero)
(list -NonNegInexactReal -PosInexactReal -InexactRealZero)
(list -NonPosInexactReal -NegInexactReal -InexactRealZero)
(list -InexactReal (Un -PosInexactReal -NegInexactReal) -InexactRealZero)
(list -NonNegReal -PosReal -RealZero)
(list -NonPosReal -NegReal -RealZero)
(list -Real (Un -PosReal -NegReal) -RealZero)))
(map (lambda (t) (commutative-equality/filter -ExactNumber t))
(list -One -PosByte -Byte -PosIndex -Index
-PosFixnum -NonNegFixnum -NegFixnum -NonPosFixnum -Fixnum