Re: Bug#38708: eq vs eql in byte-compiled code

[Stefan Monnier]

>>> * src/alloc.c (make_pure_bignum): Remove, as we can’t copy (much
>>> less purecopy) bignums any more.
>> Sounds dangerous: it means that pure objects which point to bignums
>> could end up with dangling pointers because the GC won't see those
>> pointers and will then GC the corresponding bignum.
>
> That dangerous thing can't happen, as the change causes purecopy to signal an
> error when given a bignum. That is, bignums fall into the same category as
> markers, overlays and other objects where purecopy signals an error. Since 
> these
> objects are not used in the early phase of building that calls purecopy, this
> should not be an issue.

Ah, sorry, I missed that.  It's OK then (and if/when we need to fix it,
then we'll want to do the move I mentioned).


        Stefan