Repository metrics
- Stars
- (1,794 stars)
- PR merge metrics
- (Avg merge 122d 13h) (1 merged PR in 30d)
Description
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.exsfiles (and nothing else regardingdialyxir):
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.