[Top][All Lists]

[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)
guile> (eqv? 0.0 -0.0)

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.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]