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

Fixed a bug where predicates would sometimes fail to match 0.0

Browse Source
This commit is contained in:
lvilnis 2011-09-08 20:24:04 -04:00 committed by Vincent St-Amour
parent 29d4bba008
commit 80ece9023a
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
collects/typed-racket/types/numeric-tower.rkt
View File

@ -128,12 +128,12 @@
;; Floating-point numbers ;; Floating-point numbers
(define -FlonumPosZero (make-Base 'Float-Positive-Zero (define -FlonumPosZero (make-Base 'Float-Positive-Zero
#'(lambda (x) (eq? x 0.0)) #'(lambda (x) (eqv? x 0.0))
(lambda (x) (eq? x 0.0)) (lambda (x) (eqv? x 0.0))
#'-FlonumPosZero)) #'-FlonumPosZero))
(define -FlonumNegZero (make-Base 'Float-Negative-Zero (define -FlonumNegZero (make-Base 'Float-Negative-Zero
#'(lambda (x) (eq? x -0.0)) #'(lambda (x) (eqv? x -0.0))
(lambda (x) (eq? x -0.0)) (lambda (x) (eqv? x -0.0))
#'-FlonumNegZero)) #'-FlonumNegZero))
(define -FlonumZero (*Un -FlonumPosZero -FlonumNegZero)) (define -FlonumZero (*Un -FlonumPosZero -FlonumNegZero))
(define -FlonumNan (make-Base 'Float-Nan (define -FlonumNan (make-Base 'Float-Nan