Re: MPS: Loaded pdump

[Helmut Eller]

On Fri, May 10 2024, Gerd Möllmann wrote:

> Something like that. It will be a lot of work to remove the header from
> conses. We then couldn't use the address-independent hash, which again
> hits us with hash tables. We'd have to use MPS' location dependency
> mechanism... :-/. And sxhash-eq gets a problem with a moving collector.
> Bad idea to add that.

If sxhash-eq isn't used much, we could declare it obsolete or simply say
that it doesn't work with igc.

> Does a native comp build of igc work on Debian, BTW?

AFAICT, yes.  It builds and passes the comp-tests.  Also with your
recent extra checks enabled.