Skip to content

compile_book emits a def again only when a fact it missed was added, so the passes after the first cost what changed, not the whole program - #1386

Closed
Iann29 wants to merge 3 commits into
bendlang:mainfrom
Iann29:emit-changed-defs
Closed

compile_book emits a def again only when a fact it missed was added, so the passes after the first cost what changed, not the whole program#1386
Iann29 wants to merge 3 commits into
bendlang:mainfrom
Iann29:emit-changed-defs

compile_book's trace records each missed fact once, not at every lookup

f935178
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
repo-gate
succeeded Oct 17, 2026 in 12s