そこで、ただコンパイルの前にtrue/falseが判定されるだけのマクロを書いて対処しました。
上記のソースコードをdialyzerにかけた結果はこうなります。(dialyxir使用)
% mix dialyzer Starting Dialyzer dialyzer --no_check_plt --plt C:\Users\moccos/.dialyxir_core_18_1.2.3.plt (オプション略) Proceeding with analysis... hoge.ex:8: The pattern 'false' can never match the type 'true' done in 0m1.31s done (warnings were emitted)
# 最初に書いたバージョンに間違いがあったので、2016/03/28に修正しました。
# Elixir1.3系で動かなかったので2016/06/24に再度修正
0 件のコメント:
コメントを投稿