Make type check expr loop not recursive#9872

Draft

jaredramirez wants to merge 41 commits into

mainfrom

iterative-checker-prologue-epilogue

Commits on Jul 2, 2026

docs: design for non-recursive (work-stack) type checker

jaredramirez
and
claude
committed
docs: Phase 1 implementation plan for non-recursive type checker

jaredramirez
and
claude
committed
check: add iterative checkExpr driver skeleton (full passthrough)

jaredramirez
and
claude
committed
check/test: two-pass differential harness for iterative checker

jaredramirez
and
claude
committed
check/test: deep-nesting stack-safety stress test

jaredramirez
and
claude
committed
check: extract checkEnterPrologue/checkExitEpilogue (no-op refactor)

jaredramirez
and
claude
committed
check: migrate e_tuple_access to iterative driver

jaredramirez
and
claude
committed
check: migrate e_block to iterative driver (flatten block spine)

jaredramirez
and
claude
committed
check: add honest statement-nested deep-nesting test + doc (5b limitation)
jaredramirez
committed
check: migrate 22 leaf expr kinds to iterative driver

jaredramirez
and
claude
committed
check: migrate single-child expr kinds to iterative driver

jaredramirez
and
claude
committed
check: migrate multi-child expr kinds (list/tuple/tag/call-family) to iterative driver

jaredramirez
and
claude
committed
check: migrate e_call to iterative driver (interleaved func/args + accumulators)

jaredramirez
and
claude
committed
Migrate e_interpolation to iterative checkExprIter driver

jaredramirez
and
claude
committed
Migrate e_for to iterative checkExprIter driver

jaredramirez
and
claude
committed
Migrate e_if to iterative checkExprIter work-stack driver

jaredramirez
and
claude
committed
Migrate e_match to iterative checkExprIter driver (helper-delegating)

jaredramirez
and
claude
committed
Migrate e_lambda to iterative checkExprIter driver

jaredramirez
and
claude
committed
Migrate e_record to iterative checkExprIter driver

jaredramirez
and
claude
committed
Migrate e_str to iterative checkExprIter driver

jaredramirez
and
claude
committed
check: address code-review findings on the iterative checkExpr driver
jaredramirez
committed
Update comments to reflect new reality
jaredramirez
committed

Commits on Jul 6, 2026