Repository navigation
Regenerate compile_file: comments skipped at 2 steps/char, not 15 - #41
Merged
Merged
Conversation
arboretum's statements no longer splits a source into lines. A run of
comment and blank lines is dropped where it stands by skip_line — two
reductions a character on the eager runner, the list's triage and a memo
hit, instead of fifteen — and a statement's text is copied out of the
source piece by piece, a piece being lines that follow one another, which
only ever looks at the character after a newline. So nothing that is not
code is built, or read twice, memo or no memo.
skip_line is closed and re-enters itself on the tail, so a runtime can
recognize its tree and take its steps natively.
compile_file's output is unchanged, byte for byte: on every arboretum and
forest source, 261 historical ones, 109 constructed edge cases, 9331
exhaustive and 7822 random sources, and statements alone on 142,377 inputs
and 19,830 lists of arbitrary trees. It is the fixed point of the build.
Reduction steps, compile_file, before -> after:
eager runner
forest simple/paper_experiments (5 MB) 47.6M -> 6.48M
arboretum src/lambada/compiler.lamb 7.84M -> 6.13M
dag.js (lazy, no memo)
forest simple/paper_experiments (5 MB) 1116M -> 806M
forest termination/paper_experiments (1.2 MB) 281M -> 204M
The demo environments differ only in the bundle's ids, which the new
definitions shifted; canonicalized, they are what they were.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_018ffv5AybPTpV56D5vuayQr
This was referenced Sep 28, 2026
Merged
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
compile_file.dag rebuilt from lambada-llc/arboretum#70: comment and blank lines are skipped where they stand, 2 reductions a character instead of 15. Output unchanged, byte for byte.
compiler.lamb(66 KB, real code)The whole source still goes in, so #40 isn't needed for speed: this 5 MB source compiles whole in 768 ms here, and in 82 ms on the tree-calculus runtime stack (lambada-llc/tree-calculus#38 → #42).
The demo env-dags only renumber: canonicalized, they are unchanged.
runner -s(eager), min of 5 interleaved runs, 4-CPU VM.🤖 Generated with Claude Code
https://claude.ai/code/session_018ffv5AybPTpV56D5vuayQr