diff options
| author | Cliff Click <cliffc@acm.org> | 2026-10-24 15:41:48 -0700 |
|---|---|---|
| committer | Cliff Click <cliffc@acm.org> | 2026-10-24 15:41:48 -0700 |
| commit | 489672dfac7efc78fc239ba7c2dfc82f1c5fbeab (patch) | |
| tree | 9f4e04ed9d4f7443c03b02269cc77a96bb23dbd0 /chapter18 | |
| parent | feb98e1bb6c973428b94591ed5b0aed5e4137bd0 (diff) | |
| download | Simple-489672dfac7efc78fc239ba7c2dfc82f1c5fbeab.tar.gz Simple-489672dfac7efc78fc239ba7c2dfc82f1c5fbeab.zip | |
Finish chapter numbering, retire combined chapter 24, and update documentation
Diffstat (limited to 'chapter18')
| -rw-r--r-- | chapter18/README.ja.md | 2 | ||||
| -rw-r--r-- | chapter18/README.md | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/chapter18/README.ja.md b/chapter18/README.ja.md index ad078163..e8025c92 100644 --- a/chapter18/README.ja.md +++ b/chapter18/README.ja.md @@ -86,7 +86,7 @@ val fact = { int n -> return fact(arg); ``` -パーサーは、本体をパースする前に関数の入口を登録します。`fact` への前方参照は、宣言がその関数値を受け取ると解決されます。それによって再帰呼び出しも、外からの呼び出しと同じ入口を見つけられます。この章では戻り値の型推論はまだ悲観的です。相互再帰する定義には、[第24章](../chapter24/README.ja.md)の SCCP で導入する、より強力な解析が必要なことがあります。 +パーサーは、本体をパースする前に関数の入口を登録します。`fact` への前方参照は、宣言がその関数値を受け取ると解決されます。それによって再帰呼び出しも、外からの呼び出しと同じ入口を見つけられます。この章では戻り値の型推論はまだ悲観的です。相互再帰する定義には、[第24章](../chapter24b/README.ja.md)の SCCP で導入する、より強力な解析が必要なことがあります。 ## グラフ内の関数 diff --git a/chapter18/README.md b/chapter18/README.md index 578ed7d4..1094209b 100644 --- a/chapter18/README.md +++ b/chapter18/README.md @@ -116,7 +116,7 @@ reference to `fact` is resolved when the declaration receives its function value. Recursive calls can then find the same entry as calls from outside. Return-type inference is still pessimistic in this chapter; mutually recursive definitions can require the stronger analysis introduced with SCCP in -[Chapter 24](../chapter24/README.md). +[Chapter 24](../chapter24b/README.md). ## Functions in the graph |