Re: hash-consing bignums and eq==eql

[Stefan Monnier]

>> BTW, hash-consing bignums would have the following advantages:
>> - EQ is equivalent to EQL for all integers.
>
> I think that's the one to focus on, instead of splitting the vote
> between the hash-consers and the slow-EQers.

For me the only question is *how* to get EQ==EQL in general.  I think
making it true for bignums is the first step.  And using hash-consing on
bignums is the only way to do that without any negative impact on
existing code (i.e. the path of least resistance).

When we get to making EQ==EQL for floats as well, we may indeed decide
to drop hash-consing, but AFAICT the mood here is not in favor of making
it happen now.


        Stefan