04-17-2019, 01:37 PM
Dialyzer "is a static analysis tool that identifies software discrepancies, such as definite type errors, code that has become dead or unreachable because of programming error, and unnecessary tests, in single Erlang modules or entire (sets of) applications." (ref. documentation)
1) After installing new erlang or running dialyzer the first time (by considering you are using the MSYS shell):
$ rm ~/.dialyzer_plt (or whatever the file is)
$ dialyzer --build_plt --apps erts kernel stdlib wx
2) Start wings (and erlang) from Erlang shell:
1> dialyze().
OBS: Have lot of patience and memory
1) After installing new erlang or running dialyzer the first time (by considering you are using the MSYS shell):
$ rm ~/.dialyzer_plt (or whatever the file is)
$ dialyzer --build_plt --apps erts kernel stdlib wx
2) Start wings (and erlang) from Erlang shell:
1> dialyze().
OBS: Have lot of patience and memory