diff options
| author | Cliff Click <cliffc@acm.org> | 2026-11-05 15:51:41 -0800 |
|---|---|---|
| committer | Cliff Click <cliffc@acm.org> | 2026-11-05 15:51:41 -0800 |
| commit | 8f460340cfe01a4945635251bcd33b257b699bf7 (patch) | |
| tree | fb6336272df6a1379e4195fc5ab6ea0c8e165458 /chapter29/README.md | |
| parent | 8d92810d9a2545d851d5986715a98fda24bb3c3a (diff) | |
| download | Simple-escape-flow.tar.gz Simple-escape-flow.zip | |
Remove a bunch of extra graph walks pre-Optoescape-flowch29-cleanup
Removed most; moved a few into Opto setup pass.
Lots of modest bug fixes
Diffstat (limited to 'chapter29/README.md')
| -rw-r--r-- | chapter29/README.md | 6 |
1 files changed, 4 insertions, 2 deletions
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, |