Skip to content
Closed
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
17 commits
Select commit Hold shift + click to select a range
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 1 addition & 7 deletions src/v1/stage0/src/bin/regen_stage0.rs
Original file line number Diff line number Diff line change
Expand Up @@ -93,6 +93,7 @@ const GENERATED_STAGE0_FILES: &[&str] = &[
"v1_compiler_languages.rs",
"v1_compiler_normalize.rs",
"v1_compiler_ownership.rs",
"v1_compiler_parse.rs",
"v1_compiler_resolve.rs",
"v1_compiler_runtime_go.rs",
"v1_compiler_runtime_rust.rs",
Expand Down Expand Up @@ -129,13 +130,6 @@ const HAND_MAINTAINED_STAGE0_FILES: &[&str] = &[
"rest_transport_facts.rs",
"transport_script_position_project.rs",
"wire_value_serialize.rs",
// Un-dissolved bootstrap parser seed: #5864's O(N) cursor optimization lives in
// this hand-maintained file, NOT in src/v1/02_parse.dag (which still models the
// O(N^2) baseline). A faithful regen from 02_parse.dag would revert #5864, so
// parse.rs is copy-preserved here (operator ruling Path B). Dissolution: ground
// the TokenStream cursor into 02_parse.dag, then move this file back to
// GENERATED_STAGE0_FILES.
"v1_compiler_parse.rs",
// Dep-pool emit wiring landed in 05_emit_rust.dag; registry flip deferred until
// regen_stage0 --verify confirms byte-identical output vs this committed file.
// Dissolution: run regen_stage0 --verify; on green, move to GENERATED_STAGE0_FILES.
Expand Down
Loading
Loading