diff options
| author | Cliff Click <cliffc@acm.org> | 2026-10-29 10:53:23 -0700 |
|---|---|---|
| committer | Cliff Click <cliffc@acm.org> | 2026-10-29 10:53:23 -0700 |
| commit | f47c7d1ffcd044b74620715072e8721b91819b61 (patch) | |
| tree | e0eea89e23c4903823b12c581ab8dcb3b977fd54 /docs | |
| parent | f7fcac0ac9ebfc11549272fa8c166c26e5418e3f (diff) | |
| download | Simple-f47c7d1ffcd044b74620715072e8721b91819b61.tar.gz Simple-f47c7d1ffcd044b74620715072e8721b91819b61.zip | |
Removing hook between encode and export
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/roadmap.ja.md | 2 | ||||
| -rw-r--r-- | docs/roadmap.md | 4 |
2 files changed, 2 insertions, 4 deletions
diff --git a/docs/roadmap.ja.md b/docs/roadmap.ja.md index ab791dc8..395eab18 100644 --- a/docs/roadmap.ja.md +++ b/docs/roadmap.ja.md @@ -7,7 +7,7 @@ ## 正確性とコンパイル -- Eval2 の追加ロード時のスケジューリング用領域、`GlobalEscapeNode` が共有する呼び出し・関数要約の走査の増分化、Export 内に残るエンコード処理を整理する。 +- Eval2 の追加ロード時のスケジューリング用領域を整理し、`GlobalEscapeNode` が共有する呼び出し・関数要約の走査を増分化する。 - 依存関係全体を調べ、変更を伝播してから保存 IR を再利用する、正しい増分ビルドを実装する。 - 型の読み込みからネイティブリンクまでのライブラリ変更を検出する。SHA-256 を含むシンボルの照合は将来案であり、Eval2 は整合したビルドを前提とする。 - コンパイル単位ごとの選択的ロードを、オブジェクト内の関数単位へ細分化する。 diff --git a/docs/roadmap.md b/docs/roadmap.md index cb2636b8..98309114 100644 --- a/docs/roadmap.md +++ b/docs/roadmap.md @@ -3,7 +3,7 @@ English | [日本語](roadmap.ja.md) Open compiler work and language proposals, reviewed against the current -snapshots on 2026-10-28. These are future changes, not promises about the +snapshots on 2026-10-29. These are future changes, not promises about the language implemented by the tutorial. Language changes still need their own design decisions and chapter boundaries. @@ -21,8 +21,6 @@ Remaining work: 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. -- Move the remaining encoding fallback out of Export so Encoding prepares - all objects that Export will write. Whole-program TypeCheck is acceptable for now; incremental checking is an optional later improvement. Expensive assertion walks are outside this |