Skip to content

perf: build qualified group closures with one traversal - #80

Closed
anmonteiro wants to merge 1 commit into
mainfrom
perf/qualified-group-closure
Closed

perf: build qualified group closures with one traversal#80
anmonteiro wants to merge 1 commit into
mainfrom
perf/qualified-group-closure

Conversation

@anmonteiro

Copy link
Copy Markdown
Owner

Build qualified-group dependency closures with a reverse accumulator, avoiding intermediate subtree lists and quadratic copying for nested groups.

Local benchmarks show 13.9% lower time for 1,024 flat modules and a 5.2x speedup at nesting depth 128. The benchmark harness is not included.

Independent of ocaml#15752, which batches dependency lookup.

@anmonteiro
anmonteiro force-pushed the perf/qualified-group-closure branch from 55e22a3 to f096709 Compare August 21, 2026 22:20
Signed-off-by: Antonio Nuno Monteiro <anmonteiro@gmail.com>
@anmonteiro
anmonteiro force-pushed the perf/qualified-group-closure branch from f096709 to 8fc4492 Compare August 21, 2026 22:44
@anmonteiro

Copy link
Copy Markdown
Owner Author

Superseded by ocaml#16087.

@anmonteiro anmonteiro closed this Aug 22, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant