diff options
| author | Cliff Click <cliffc@acm.org> | 2026-11-06 16:06:02 -0800 |
|---|---|---|
| committer | Cliff Click <cliffc@acm.org> | 2026-11-06 16:06:02 -0800 |
| commit | ce3b04603d7af995004291d9a7eb668f313e6772 (patch) | |
| tree | 45d3b45026c54e0a35aa3bd37069c7cccb0729bf /chapter29/docs/deferred-construction.md | |
| parent | 8f460340cfe01a4945635251bcd33b257b699bf7 (diff) | |
| download | Simple-ce3b04603d7af995004291d9a7eb668f313e6772.tar.gz Simple-ce3b04603d7af995004291d9a7eb668f313e6772.zip | |
Cleanup public escapes
Drop "frozen" public escapes, and recompute in Start/Stop so Opto gets a precise escape set.
Rename XInt.free -> XInt.alloc
Fix some String tests to not escape by default
Diffstat (limited to 'chapter29/docs/deferred-construction.md')
| -rw-r--r-- | chapter29/docs/deferred-construction.md | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/chapter29/docs/deferred-construction.md b/chapter29/docs/deferred-construction.md index ff0a2765..104ab9e9 100644 --- a/chapter29/docs/deferred-construction.md +++ b/chapter29/docs/deferred-construction.md @@ -1,5 +1,10 @@ # Deferring construction checks: experiment +The [escape-flow continuation](escape-flow.md) supersedes the frozen-public +fallback and remaining recursive-test failures described later in these notes. +All four recursive examples now pass their original printed-IR expectations. +The older audit below records the evidence that led to this change. + The extra construction pass is removed from the working implementation. `Construction.check()`, its retained source-use lists, `Iter.types()`, and the separate constructor-Return walk are gone. Errors now belong to the existing |