diff options
Diffstat (limited to 'docs/roadmap.ja.md')
| -rw-r--r-- | docs/roadmap.ja.md | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/docs/roadmap.ja.md b/docs/roadmap.ja.md index e4a46bfc..057e4440 100644 --- a/docs/roadmap.ja.md +++ b/docs/roadmap.ja.md @@ -7,8 +7,7 @@ ## 正確性とコンパイル -- IR 読み込み時の全体再解析は、新しいコードと影響を受ける既存コードの更新に置き換えた。残る作業は Opto 後のワークリスト、デシリアライズ中のフェーズ変更、Eval2 の入力条件と局所的なスケジューリングの整理。 -- 第25〜27章で、メソッドが狭いフィールドを更新した後に切り詰め前の値を返す問題を修正する。 +- `ArithNode` と `ConvertNode` の型計算をフェーズに依存しない単調な規則にする。Eval2 の追加ロード時のスケジューリング用領域、`StopCUNode` の全呼び出し・関数要約の反復走査、Export 内に残るエンコード処理も整理する。 - 依存関係全体を調べ、変更を伝播してから保存 IR を再利用する、正しい増分ビルドを実装する。 - 型の読み込みからネイティブリンクまでのライブラリ変更を検出する。SHA-256 を含むシンボルの照合は将来案であり、Eval2 は整合したビルドを前提とする。 - コンパイル単位ごとの選択的ロードを、オブジェクト内の関数単位へ細分化する。 |