Trying to decipher a "The pattern can never match the type" Dialyzer error message

Questions / Help
21

If you run mix dialyzer from dialyxir, I think it creates and stores Erlang + Elixir PLT files usually in the directory where Elixir is installed. For me it is ~/.asdf/installs/elixir/ref-main/.mix/ (I used asdf install elixir ref:main to install Elixir). Those .plt files need to be re-created after my change to Elixir specs. More info about these files in Dialyxir readme

1 Like
22

Wow, this is great. Thanks!

23

Thanks to @msimonborg, @Nicd, and @al2o3cr for your help in debugging this. Iā€™m gonna give the solution to @michallepicki since he provided a fix for this. Thanks! :pray:

4 Likes