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

↑up

現象

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

調査ログ

2020-04-08 (Wed)

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

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