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 /docs | |
| 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 'docs')
| -rw-r--r-- | docs/roadmap.md | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/docs/roadmap.md b/docs/roadmap.md index 81bb8abb..0fa3933b 100644 --- a/docs/roadmap.md +++ b/docs/roadmap.md @@ -40,8 +40,15 @@ Remaining work: object should cost only for that graph and any affected existing nodes. - Make `GlobalEscapeNode`'s shared call/summary scan incremental. Compilation unit Stops now reuse its result, but updating that result still scans all - calls and unloaded summaries. Review the phase-dependent escape normalization - and reliance on the previous result before changing propagation further. + calls and unloaded summaries. Handle contributors changing or disappearing, + rather than only accumulating unions. The + [outside-world escape flow](../chapter29/docs/escape-flow.md), now in + Chapters 28a/28b/29, has removed the + frozen public inventory and previous-result escape normalization; the shared + scan remains. +- Improve precision for identities discovered after Opto's foreign seed is + established. They currently remain in the cofinite foreign tail. Preserve + monotone propagation and imported callback behavior when refining this bound. Whole-program TypeCheck is acceptable for now; incremental checking is an optional later improvement. Expensive assertion walks are outside this |