Last week I updated dialyzex to use the “onion” PLT construction pattern described by James, meaning that the mix task will still build three PLTs, but they are no longer disjoint. To illustrate:
| Old PLT contents | New contents | PLT location |
|---|---|---|
| Erlang/OTP | Erlang/OTP | $HOME/.cache/dialyzer/plts/erlang-20-erts-9.2.plt |
| Elixir | Erlang/OTP + Elixir | $HOME/.cache/dialyzer/plts/elixir-1.6.1-erlang-20-erts-9.2.plt |
| Project deps | Erlang/OTP + Elixir + Project deps | _build/dev/deps-N0rJXDclQ8d-ibrpSc_emw.plt |
This should be nearly as fast as before when constructing PLTs, and the analysis phase seems unaffected.
Version 1.1.0 is available on Hex.
