1
0
mirror of synced 2026-05-01 14:07:24 +00:00

Make NEW_ID create IDs whose string allocation is delayed

This commit is contained in:
Robert O'Callahan
2025-10-13 02:56:32 +00:00
committed by Emil J. Tywoniak
parent 8895757364
commit e95ed7bbab
7 changed files with 165 additions and 70 deletions

View File

@@ -164,6 +164,8 @@ pyosys_headers = [
{
"global_id_storage_",
"global_id_index_",
"global_negative_id_storage_",
"global_negative_id_prefix_storage_",
"global_refcount_storage_",
"global_free_idx_list_",
"last_created_idx_ptr_",