Re: Floating-point constant folding in Emacs byte compiler

[Eli Zaretskii]

> From: Noam Postavsky <address@hidden>
> Date: Mon, 2 Apr 2018 08:57:30 -0400
> Cc: Robert Pluim <address@hidden>, Paul Eggert <address@hidden>,
>       Emacs developers <address@hidden>
> 
> On 30 March 2018 at 12:26, Pip Cet <address@hidden> wrote:
> 
> > It's easy to fix this by merging the constvec based on eql rather than
> > eq, but that makes the byte compiler inconsistent: with optimization,
> > (lambda () (eq 1024.0 1024.0)) will still be false, but without
> > optimization, it will turn into bytecode that always returns true.
> 
> The byte-compiler is already inconsistent in this way for string literals:

Yes, because strings share the same EQ issue with floats.  And because
we sometimes try to "optimize" that.  For example, in make_pure_string.