# 通知設計書 79-warnStmtListLambda

## 概要

本ドキュメントは、Nimコンパイラの警告メッセージ「warnStmtListLambda」（文リスト式のラムダ変換警告）に関する通知設計書である。文リスト式が暗黙的に匿名プロシージャとして解釈される場合に、開発者に非推奨警告を発する機能について記載する。

### 本通知の処理概要

この通知は、Nimコンパイラが引数マッチング時に、文リスト式がvoidを返すプロシージャ型の引数に渡され、暗黙的に匿名プロシージャとして解釈される状況を検出した際に発行される警告メッセージである。

**業務上の目的・背景**：Nimでは、特定のコンテキストで文リスト式を匿名プロシージャとして暗黙的に解釈する機能が存在した。しかし、この暗黙的な変換はコードの意図を不明確にし、予期しない動作の原因となる。本警告は、この非推奨パターンを検出し、明示的な`do (): ...`または`proc () = ...`構文の使用を促すことを目的とする。

**通知の送信タイミング**：コンパイル時、引数マッチングフェーズ（sigmatch）において、関数呼び出しの引数が文リスト式（nkStmtList）であり、期待される型がvoidを返すプロシージャ型である場合に発行される。

**通知の受信者**：Nimコンパイラを使用してコードをコンパイルしている開発者。警告メッセージは標準エラー出力またはコンパイラの設定に応じた出力先に送信される。

**通知内容の概要**：警告メッセージには「statement list expression assumed to be anonymous proc; this is deprecated, use `do (): ...` or `proc () = ...` instead」という形式で、問題点と具体的な対処方法が含まれる。

**期待されるアクション**：開発者は警告を確認し、文リスト式を`do (): body`または`proc () = body`のような明示的な匿名プロシージャ構文に書き換えることが期待される。

## 通知種別

コンパイラ警告メッセージ（標準エラー出力/構造化出力）

## 送信仕様

### 基本情報

| 項目 | 内容 |
|-----|------|
| 送信方式 | 同期（コンパイル時） |
| 優先度 | 中（Warning） |
| リトライ | なし |

### 送信先決定ロジック

コンパイラの標準エラー出力、または`--stdout`オプション指定時は標準出力に送信。`structuredErrorHook`が設定されている場合はフック関数を通じて送信される。

## 通知テンプレート

### コンパイラ警告出力の場合

| 項目 | 内容 |
|-----|------|
| 送信元 | Nimコンパイラ |
| 形式 | テキスト |
| 重大度 | Warning |

### 本文テンプレート

```
{ファイルパス}({行番号}, {列番号}) Warning: statement list expression assumed to be anonymous proc; this is deprecated, use `do (): ...` or `proc () = ...` instead [StmtListLambda]
```

### 添付ファイル

なし

## テンプレート変数

| 変数名 | 説明 | データ取得元 | 必須 |
|--------|------|-------------|-----|
| (なし) | 固定メッセージ | lineinfos.nimで定義 | - |

## 送信トリガー・条件

### トリガー一覧

| トリガー種別 | トリガーイベント | 送信条件 | 説明 |
|------------|----------------|---------|------|
| コンパイル時 | 引数マッチング | 文リスト式がvoidプロシージャ型にマッチ | sigmatch.nimで検出 |

### 送信抑止条件

| 条件 | 説明 |
|-----|------|
| --warning:StmtListLambda:off | コマンドラインで明示的に無効化された場合 |
| {.warning[StmtListLambda]:off.} | プラグマで無効化された場合 |
| 明示的なdo/proc構文 | 適切な構文を使用している場合 |

## 処理フロー

### 送信フロー

```mermaid
flowchart TD
    A[引数マッチング開始] --> B{引数がnkStmtList?}
    B -->|No| I[通常マッチング]
    B -->|Yes| C{期待型がvoidプロシージャ?}
    C -->|No| I
    C -->|Yes| D{matchesVoidProc?}
    D -->|No| I
    D -->|Yes| E[warnStmtListLambda発行]
    E --> F[message関数呼び出し]
    F --> G[doブロックへ変換]
    G --> I[終了]
```

## データベース参照・更新仕様

### 参照テーブル一覧

コンパイラはデータベースを使用せず、メモリ上のAST（抽象構文木）と型情報を参照する。

### 内部データ構造

| 構造体 | 用途 | 備考 |
|--------|------|------|
| PType | 型情報 | matchesVoidProcプロパティを確認 |
| PNode | AST情報 | nkStmtListノードを保持 |
| TLineInfo | 位置情報 | ファイル/行/列を保持 |

## エラー処理

### エラーケース一覧

| エラー種別 | 発生条件 | 対処方法 |
|----------|---------|---------|
| 警告の昇格 | --warningAsError:StmtListLambda指定時 | エラーとして扱いコンパイル中断 |

### リトライ仕様

| 項目 | 内容 |
|-----|------|
| リトライ回数 | なし |
| リトライ間隔 | なし |
| リトライ対象エラー | なし |

## 配信設定

### レート制限

| 項目 | 内容 |
|-----|------|
| 1分あたり上限 | なし |
| 1日あたり上限 | なし |

### 配信時間帯

コンパイル実行時に即時発行

## セキュリティ考慮事項

- ファイルパスが出力に含まれるため、センシティブなパス情報が漏洩する可能性がある
- 暗黙的な型変換はセキュリティ上の脆弱性の原因となり得る

## 備考

- 非推奨パターンであり、明示的な構文の使用が推奨される
- `do (): body`はブロックを匿名プロシージャに変換する明示的な構文
- 警告発行後も暗黙的な変換は行われる（互換性のため）

---

## コードリーディングガイド

本通知を理解するために参照すべきファイルと、推奨する読み解き順序を以下に示す。

### 推奨読解順序

#### Step 1: データ構造を理解する

警告の定義と関連する型プロパティを理解する。

| 順序 | ファイル | パス | 読解ポイント |
|-----|---------|------|-------------|
| 1-1 | lineinfos.nim | `compiler/lineinfos.nim` | 92行目: warnStmtListLambdaの定義を確認 |
| 1-2 | lineinfos.nim | `compiler/lineinfos.nim` | 201行目: 詳細メッセージテンプレートを確認 |

**読解のコツ**: メッセージには`do (): ...`と`proc () = ...`という2つの代替構文が示されている。

#### Step 2: エントリーポイントを理解する

警告発行の起点となる引数マッチング処理を確認する。

| 順序 | ファイル | パス | 読解ポイント |
|-----|---------|------|-------------|
| 2-1 | sigmatch.nim | `compiler/sigmatch.nim` | 2578-2590行目: 文リスト式のラムダ変換と警告発行部分 |

**主要処理フロー**:
1. **2578行目**: tyVoid, matchesVoidProc, nkStmtList条件チェック
2. **2581行目**: warnStmtListLambda警告発行
3. **2582-2585行目**: newProcNode呼び出しでdoブロックに変換
4. **2586行目**: semExprで変換後のノードを評価

#### Step 3: matchesVoidProcを理解する

voidプロシージャとのマッチング条件を確認する。

| 順序 | ファイル | パス | 読解ポイント |
|-----|---------|------|-------------|
| 3-1 | types.nim | `compiler/types.nim` | matchesVoidProcプロパティの定義 |

**読解のコツ**: このプロパティはプロシージャ型がパラメータなしでvoidを返すかを判定する。

### プログラム呼び出し階層図

```
paramTypesMatch (sigmatch.nim)
    │
    ├─ tyVoid / matchesVoidProc判定
    │
    ├─ argOrig.kind == nkStmtList判定
    │
    ├─ message (msgs.nim:641)
    │      └─ warnStmtListLambda
    │
    └─ newProcNode / semExpr
           └─ doブロックへの変換
```

### データフロー図

```
[入力]               [処理]                    [出力]

文リスト式 ───▶ sigmatch関数 ───▶ 警告メッセージ
   │                   │                    │
   │                   ├─ 型マッチング       ├─ 標準エラー出力
   │                   │                    │
   └─ 期待型           └─ ラムダ変換         └─ 変換後のAST
```

### 関連ファイル一覧

| ファイル | パス | 種別 | 役割 |
|---------|------|------|------|
| lineinfos.nim | `compiler/lineinfos.nim` | ソース | メッセージ種別とテンプレートの定義 |
| sigmatch.nim | `compiler/sigmatch.nim` | ソース | 引数マッチングと警告発行 |
| msgs.nim | `compiler/msgs.nim` | ソース | メッセージ出力の実装 |
| types.nim | `compiler/types.nim` | ソース | matchesVoidProcプロパティ |
| ast.nim | `compiler/ast.nim` | ソース | newProcNode関数 |
| semexprs.nim | `compiler/semexprs.nim` | ソース | semExpr関数 |
