jackfirth / resyntax

97%

master: 97%

LAST BUILD ON BRANCH perf/syntax-path-comparator

branch: perf/syntax-path-comparator

CHANGE BRANCH

x

Reset

• perf/syntax-path-comparator
• HEAD
• allow-comments-in-refactoring-tests
• autofix-24-1
• autopilot-blocking
• autopilot-workflow
• ci-debug
• claude-github-actions
• claude/gracious-feistel-2be52d
• cli-json
• cli-tests
• compile-test
• copilot/add-analyzer-load-tests
• copilot/add-analyzer-timeout-option
• copilot/add-expanded-id-table-utility
• copilot/add-function-expression-analyzer
• copilot/add-fuse-map-with-for-rule
• copilot/add-in-syntax-paths-utility
• copilot/add-printf-without-specifiers-rule
• copilot/add-resyntax-fix-json-output
• copilot/add-string-representation-syntax-paths-again
• copilot/add-syntax-path-filter-utility
• copilot/add-syntax-property-extraction-apis
• copilot/add-warning-rule-support
• copilot/allow-custom-analyzers-in-rules
• copilot/configurable-analyzer-timeout
• copilot/consolidate-legacy-migration-rules
• copilot/extract-let-from-arguments
• copilot/fix-8175575-328049080-6434af77-80e7-42db-a2ea-55d3c2dafeba
• copilot/fix-aggressive-when-merging
• copilot/fix-broken-code-replacements
• copilot/fix-error-to-raise-arguments-error
• copilot/fix-identifier-usage-analyzer
• copilot/fix-improper-syntax-paths
• copilot/fix-syntax-parse-rule-issue
• copilot/fix-syntax-path-logging
• copilot/fix-unwanted-suggestion
• copilot/handle-multiple-variables-in-rule
• copilot/improve-test-coverage-file-group
• copilot/improve-test-coverage-github
• copilot/move-rules-to-let-replacement
• copilot/refactor-analyzers-reuse-table-code
• copilot/refactor-rules-suites-analyzers
• copilot/refactor-sequence-tail-replacement
• copilot/refactor-source-analyze-analyzers
• copilot/refactor-test-imports
• copilot/remove-matching-comparator-file
• copilot/remove-proper-syntax-path-predicate
• copilot/skip-failing-analyzers
• copilot/skip-push-workflows-for-copilot
• copilot/split-formatting-preservation-tests
• copilot/store-visited-paths
• copilot/suggest-using-define-syntax-parse-rule
• copilot/update-identifier-usage-analyzer
• copilot/use-module-lexer-for-comments
• coverage
• coverage-fixing
• coverage-loops
• coverage-workflow
• docs-preview
• document-github-integration
• document-github-integrations-448
• fix-800-flattening-perf
• fix-comment-reading
• fix-define-syntax-parser-syntax-loc
• fix-property-bundle-error-source-830
• fix-quasiquote-to-list-quoted-datums
• fix-reysntax-typo
• github-env-vars-lazy-820
• grimoire
• grimoire-examples-property-bundle
• grimoire-examples-source
• grimoire-examples-source-group
• grimoire-file-group
• grimoire-linemap
• grimoire-string-replacement
• grimoire-string-replacement-examples
• grimoire-stxpath
• grimoire-syntax-movement
• grimoire-syntax-property-bundle
• jackfirth-patch-1
• jackfirth-patch-1-1
• jackfirth-patch-2
• let-replacement
• limit-open-autopilot-prs-770
• make-immutable-hash-quasiquote-to-hash
• manual-display-to-file-rule
• manual-testing
• manual-workflow
• master
• null-when-guard-to-match-pattern
• perf/analysis-hash-tables
• perf/eager-search-everything
• perf/syntax-line-count
• pr-analysis
• remove-copilot
• rule-application-timing
• run-rule
• split-grimoire
• syntax-path-tree-diagram
• test-git-rkt
• test-github-review-construction-820
• test-refactoring-result-pure-functions
• test-run-command
• test-syntax-path-error-branches-816
• text-trees
• when-unless-keyword-multi-body-only

Build # #574

Build Type

Pull #840

cover

Committed by jackfirth

Commit Message

Compare syntax paths directly instead of via a generic lexicographic comparator

`syntax-path<=>` was built with `(comparator-map (lexicographic-comparator
natural<=>) syntax-path-elements)`. That generic implementation drives each
comparison through `sequence-generate` on both treelists and crosses a contract
boundary for every individual element comparison, which is expensive enough to
dominate expansion analysis: `source-analyze` stores every visited syntax object
in mutable sorted maps keyed by syntax path, so this comparator runs a
logarithmic number of times per observed expansion event.

Writing the comparison out as a direct indexed loop over the two treelists cuts
analysis time for `xrepl-lib/xrepl/xrepl.rkt` (1877 lines) from ~78 seconds to
~44 seconds.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>

Pull Request Pull Request #840: Compare syntax paths directly instead of via a generic lexicographic comparator

Coverage Stats

22 of 22 new or added lines in 1 file covered. (100.0%)

17508 of 18126 relevant lines covered (96.59%)

0.97 hits per line