[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug in eqv?
|
From: |
Aubrey Jaffer |
|
Subject: |
bug in eqv? |
|
Date: |
Fri, 17 Mar 2006 22:42:55 -0500 (EST) |
bash-2.05b$ guile --version
Guile 1.8.0 ...
bash-2.05b$ guile
guile> (= 0.0 -0.0)
#t
guile> (eqv? 0.0 -0.0)
#f
According to R5RS section "6.1 Equivalence predicates":
The `eqv?' procedure returns #t if:
* OBJ1 and OBJ2 are both numbers, are numerically equal (see
`=', section *note Numbers::), and are either both exact or
both inexact.
Because (= 0.0 -0.0) is #t, (eqv? 0.0 -0.0) must be #t.
- bug in eqv?,
Aubrey Jaffer <=