From 8f460340cfe01a4945635251bcd33b257b699bf7 Mon Sep 17 00:00:00 2001 From: Cliff Click Date: Thu, 5 Nov 2026 15:51:41 -0800 Subject: Remove a bunch of extra graph walks pre-Opto Removed most; moved a few into Opto setup pass. Lots of modest bug fixes --- chapter29/README.md | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'chapter29/README.md') diff --git a/chapter29/README.md b/chapter29/README.md index 28925606..9bd5843e 100644 --- a/chapter29/README.md +++ b/chapter29/README.md @@ -40,8 +40,10 @@ merges and `addReturn`; field values are no longer copied into memory at exit. Fresh fields start at `TypeScalar.BOT`, which preserves a missing live arm at a merge. Forward memory types supply the initialization proof at Loads and merged -Returns. Checks run after parsing and an optimistic type solve; there is no -separate initialization walk or field-state map. Class singleton initialization +Returns. Checks run at TypeCheck using the existing optimization passes; there +is no extra construction solve, initialization walk, or field-state map. +Known failures are recorded in [the late-check notes](docs/deferred-construction.md). +Class singleton initialization retains its existing store-at-exit path. `ConstructorCompletionTest` covers partial assignments, early returns, loops, -- cgit v1.2.3