jeremyjh/dialyxir

Update PLT when child dependencies change

Aperta

#232 aperta il 16 ago 2018

 (8 commenti) (0 reazioni) (0 assegnatari)Elixir (160 fork)batch import
help wanted

Metriche repository

Star
 (1794 stelle)
Metriche merge PR
 (Merge medio 122g 13h) (1 PR mergiata in 30 g)

Descrizione

Happens with Elixir 1.7.2 and Dialyxir 0.5.1

  • I have an umbrella project with several child projects;

  • The umbrella and the child projects have the following in their mix.exs files (and nothing else regarding dialyxir):

defp deps do
    [
      ...
      {:dialyxir, "~> 0.5", only: [:dev, :test]}
      ...
    ]
end
  • Added a new dependency in one of the child projects (this dependency did not exist before in any child project).

Then,

Observed behavior: running mix dialyzer inside the child project does not update the PLT, but running the same command at the umbrella project updates the PLT.

Expected behavior: when child dependencies change, running mix dialyzer inside the corresponding child project, or running at the umbrella project, should update the PLT. The PLT check should always run, unless mix dialyzer --no-check is run.

Guida contributor