あっ

型推論の実装が中途半端だったの忘れてた

つっても現状関数が型省略を許してないし、
変数の初期化以外の代入文もないから
推論するところほとんどないな

あっ
うーん
変数の型推論のアルゴリズムが間違ってる
結構面倒だな

関数型IRみたいな構造になってればもうちょっと楽な気もするが
あれはあれでソースコード上の位置を維持するのが
超めんどくさいからなあ
(型チェックはユーザエラーが頻発するから
ソースコードアドレスを維持してるうちにやらないと
エラーメッセージがわけわかんなくなる)