summaryrefslogtreecommitdiff
path: root/docs/roadmap.ja.md
diff options
context:
space:
mode:
authorCliff Click <cliffc@acm.org>2026-10-27 14:50:02 -0700
committerCliff Click <cliffc@acm.org>2026-10-27 14:50:02 -0700
commit01f87c30c97c12237cc7b63d620e204a5fc79d41 (patch)
tree533399d6c3a475d5beca84b9f93f19306cb94acb /docs/roadmap.ja.md
parentf78d97c60047627164012fb10053c75ccf0ca7dd (diff)
downloadSimple-01f87c30c97c12237cc7b63d620e204a5fc79d41.tar.gz
Simple-01f87c30c97c12237cc7b63d620e204a5fc79d41.zip
Remove several instances of extra whole-graph walks
Diffstat (limited to 'docs/roadmap.ja.md')
-rw-r--r--docs/roadmap.ja.md1
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/roadmap.ja.md b/docs/roadmap.ja.md
index 6751325d..e4a46bfc 100644
--- a/docs/roadmap.ja.md
+++ b/docs/roadmap.ja.md
@@ -7,6 +7,7 @@
## 正確性とコンパイル
+- IR 読み込み時の全体再解析は、新しいコードと影響を受ける既存コードの更新に置き換えた。残る作業は Opto 後のワークリスト、デシリアライズ中のフェーズ変更、Eval2 の入力条件と局所的なスケジューリングの整理。
- 第25〜27章で、メソッドが狭いフィールドを更新した後に切り詰め前の値を返す問題を修正する。
- 依存関係全体を調べ、変更を伝播してから保存 IR を再利用する、正しい増分ビルドを実装する。
- 型の読み込みからネイティブリンクまでのライブラリ変更を検出する。SHA-256 を含むシンボルの照合は将来案であり、Eval2 は整合したビルドを前提とする。