|
|
|
|
|
|
by _asummers
2566 days ago
|
|
|
Not sufficient, and not for Erlang, but Dialyxir has a `mix dialyzer.explain` command, which gives an example of code that might cause a certain error. Some errors I have been unable to reproduce and I welcome examples of code that would produce them, so PRs are welcome =). Here is what I say for no_return, for example [0]. I maintain a library for converting Erlang Dialyzer messages to Elixir (Erlex [1]) which I hope to one day be able to retire with a stronger Elixir/Erlang communication (AST instead of string communication, e.g., and direct diffs between types). [0] https://github.com/jeremyjh/dialyxir/blob/master/lib/dialyxi...
[1] https://github.com/asummers/erlex |
|
|