From 80ece9023aa583428be9292f120ee25f02cd161e Mon Sep 17 00:00:00 2001 From: lvilnis Date: Thu, 8 Sep 2011 20:24:04 -0400 Subject: [PATCH] Fixed a bug where predicates would sometimes fail to match 0.0 --- collects/typed-racket/types/numeric-tower.rkt | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/collects/typed-racket/types/numeric-tower.rkt b/collects/typed-racket/types/numeric-tower.rkt index 2ca51b3d52..c7fb54976e 100644 --- a/collects/typed-racket/types/numeric-tower.rkt +++ b/collects/typed-racket/types/numeric-tower.rkt @@ -128,12 +128,12 @@ ;; Floating-point numbers (define -FlonumPosZero (make-Base 'Float-Positive-Zero - #'(lambda (x) (eq? x 0.0)) - (lambda (x) (eq? x 0.0)) + #'(lambda (x) (eqv? x 0.0)) + (lambda (x) (eqv? x 0.0)) #'-FlonumPosZero)) (define -FlonumNegZero (make-Base 'Float-Negative-Zero - #'(lambda (x) (eq? x -0.0)) - (lambda (x) (eq? x -0.0)) + #'(lambda (x) (eqv? x -0.0)) + (lambda (x) (eqv? x -0.0)) #'-FlonumNegZero)) (define -FlonumZero (*Un -FlonumPosZero -FlonumNegZero)) (define -FlonumNan (make-Base 'Float-Nan