dialyzer:erlang的静态代码分析工具
-module(module1).
-export([main/0]).
-export_type([my_tup2/0]).
-opaque my_tup2() :: {atom(), atom()}.
-spec foo5(my_tup2())-> ok.
foo5({_, _}) -> ok.
main() ->
foo5({a, b}).
这段代码,使用dialyzer分析居然报错
按照learnyousomeerlang作者的说法,dialyzer对opaue的分析,还是有问题的,如果上面的代码改为如下:
-module(module1).
-export([main/0]).
-export_type([my_tup2/0]).
-opaque my_tup2() :: {my_tup2, atom(), atom()}.
-spec foo5(my_tup2())-> ok.
foo5({my_tup2, _, _}) -> ok.
main() ->
foo5({my_tup2, a, b}).
给元组加上一个tag,限定一下范围,dialyzer就不再报错了。