Adding elixir libs to dialyzer

[Dave Thomas]

Right now, I add Elixir libs to my plt using

$ dialyzer --add_to_plt ~/Play/elixir/lib/elixir/ebin

but if I didn't know where my Elixir was, that would be a pain.

Is there a canonical way of doing it? If not, should a create a PR for a mix task to do it?

Dave

[José Valim]

We had this discussion some time ago on IRC. Basically, I am not a fan of bringing dialyzer tasks to Mix at this moment because dialyzer is far away from being a first class citizen in Elixir. For example, the errors are reported in Erlang with code and terms printed in Erlang syntax. Given our roadmap by having Elixir 1.0 out by the beginning of next year, I don't think we have time to include dialyzer into Elixir and polish it well enough for 1.0.

My recommendation was to create a set of mix tasks for dialyzer and share it with everyone. Regarding the problem you originally described, you can get the location of Elixir beam files with `:code.lib_dir(:elixir)` and simply pass it from the mix task in order to build the PLT.

José Valim

www.plataformatec.com.br

Skype: jv.ptec

Founder and Lead Developer

--
You received this message because you are subscribed to the Google Groups "elixir-lang-talk" group.
To unsubscribe from this group and stop receiving emails from it, send an email to elixir-lang-ta...@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.