Hi Guix,

(Patch is attached below.)

This patch fixes <https://debbugs.gnu.org/30680>.  It does so by
patching Racket to treat store files specially.  I have verified that it
both fixes the bug above and still recompiles non-store files.

As far as I can tell, Racket only uses these checksums as part of its
“setup” library.  When deciding whether to use a bytecode file during
evaluation, it does not verify the checksum.  That’s why only the
“setup” code is patched.

As a side note, both GDB and Go have similar problems:

    • <https://debbugs.gnu.org/19973>
    • <https://debbugs.gnu.org/25752>

If there ever is a more general solution, this patch will no longer be
necessary.

(Also, Racket takes a bit of time to build, so reviewers beware!)


<<< message/external-body; name="/home/samplet/code/guix-wip-racket/0001-gnu-racket-Ignore-bytecode-checksums-in-the-store.patch"; access-type=local-file: Unrecognized >>>
-- Tim

Reply via email to