[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Making 'eq' == 'eql' in bignum branch
From: |
Eli Zaretskii |
Subject: |
Re: Making 'eq' == 'eql' in bignum branch |
Date: |
Fri, 10 Aug 2018 22:45:12 +0300 |
> From: John Yates <address@hidden>
> Date: Fri, 10 Aug 2018 12:52:53 -0400
> Cc: Eli Zaretskii <address@hidden>, Paul Eggert <address@hidden>,
> Stefan Monnier <address@hidden>,
> Emacs developers <address@hidden>
>
> More importantly the standard says that two NaN values (even if fetched
> from the same container within a single expression) _always_ compare
> not equal.
>
> Were I that "occasional user who wants" IEEE compliance in my elisp
> code I would expect comparisons of NaNs (whether via either eq or eql)
> to return nil. My sense is that to achieve that effect one must _always_
> compare floating point objects, even if they reside at the same address.
We decided to follow IEEE for numerical comparisons ('='), but not for
object comparisons. I'm using IEEE fp calculations all the time on my
daytime job, and it still makes no sense to me to compare NaN
_objects_ not equal. IEEE only talks about comparing numerical
values.
- Re: Making 'eq' == 'eql' in bignum branch, Eli Zaretskii, 2018/08/01
- Re: Making 'eq' == 'eql' in bignum branch, Paul Eggert, 2018/08/01
- Re: Making 'eq' == 'eql' in bignum branch, Eli Zaretskii, 2018/08/01
- Re: Making 'eq' == 'eql' in bignum branch, Paul Eggert, 2018/08/03
- Re: Making 'eq' == 'eql' in bignum branch, Eli Zaretskii, 2018/08/03
- Re: Making 'eq' == 'eql' in bignum branch, Pip Cet, 2018/08/10
- Re: Making 'eq' == 'eql' in bignum branch, Stefan Monnier, 2018/08/10
- Re: Making 'eq' == 'eql' in bignum branch, Pip Cet, 2018/08/10
- Re: Making 'eq' == 'eql' in bignum branch, Stefan Monnier, 2018/08/10
- Re: Making 'eq' == 'eql' in bignum branch, John Yates, 2018/08/10
- Re: Making 'eq' == 'eql' in bignum branch,
Eli Zaretskii <=
- Re: Making 'eq' == 'eql' in bignum branch, Paul Eggert, 2018/08/10