Re: test_9 (0.0/0.0, "+nan.0") fails on OpenBSD and FreeBSD

[Marius Vollmer]

Andreas Vögele <address@hidden> writes:

> The problem is that NaN may be negative or positive on these
> systems. The function real_eqv in libguile/eq.c, which uses memcmp
> to compares doubles, doesn't take this into account.

Hmm.  Another stance on this is that real_eqv does in fact take this
into account and correctly distinguishes between different NaNs.
Guile pretends that there is only one NaN, but that isn't true.

There are all kinds of IEEE NaNs and why should 'eqv?' pretend they
are all the same?

The bug would be in the test case then.  It should use 'nan?' to check
for NaNs.

But we then also need to print different NaNs differently and be able
to read them...


But the simplest thing is to apply your patch.  I have done so.

PS: the problem also appears on GNU/Linux with GCC 3.4.