# 003: adt-sample4 で bunnyc: Non-exhaustive patterns: Nat

[↑up](bunny_notes)

- issued: 2020-04-07
- 分類：A サンプルケースが fail
- status: Closed (2020-04-08)

## 現象

atd-sample4 のコンパイルが bunnyc: Non-exhaustive patterns: Nat
となって失敗する。

## 調査ログ
### 2020-04-08

Issue#[004](bissue004) を対策したので、scandecl で
データ宣言にであったときに、新たな型コンストラクタを TypeConsts に登録すればいい。
名前の Qualifier の扱いが未定 ([005](bissue005)) なので、そこがやや怪しいが、
adt-sample4.hs は動くようになった。

adt-sample4.hs は、test/sample/sample131.hs とした。