URL: <https://savannah.gnu.org/patch/?10619>
Summary: [PATCH 19/31] bytevector.scm: 32-bit u32? cannot be
a refinement at load time
Group: MIT/GNU Scheme
Submitter: barak
Submitted: Thu 24 Sep 2026 04:37:33 PM UTC
Category: None
Priority: 5 - Normal
Status: None
Privacy: Public
Assigned to: None
Originator Email:
Open/Closed: Open
Discussion Lock: Unlocked
_______________________________________________________
Follow-up Comments:
-------------------------------------------------------
Date: Thu 24 Sep 2026 04:37:33 PM UTC By: Barak A. Pearlmutter <barak>
The bignum branch refined exact-nonnegative-integer?, which is not a
type until "arith" is loaded, well after "bytevector": guarantee fails
inside refine-type during the cold load. The 64-bit branch refines
non-negative-fixnum?, which is. Make the 32-bit one a plain predicate;
its registration was already deferred to a boot init.
_______________________________________________________
File Attachments:
Name: 0019-bytevector.scm-32-bit-u32-cannot-be-a-refinement-at-.patch Size:
1.3KiB
<https://file.savannah.gnu.org/file/0019-bytevector.scm-32-bit-u32-cannot-be-a-refinement-at-.patch?file_id=59010>
AGPL NOTICE
These attachments are served by Savane. You can download the corresponding
source code of Savane at
https://savannah.gnu.org/source/savane-2ce82de06cddf3c312e2e260f2c97db720d76efc.tar.gz
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/patch/?10619>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
signature.asc
Description: PGP signature
