gabrielgatu/mix-dialyzer

Just a mix command for running dialyzer :)

mix-dialyzer's Issues

Attribution

So it looks like this commit imported several thousand lines of code from dialyxir, but not the copyright notice. Dialyxir is released under the Apache 2.0 license, and you are free to use it's code. However if you do so, you need to comply with the license and reproduce the copyright notice in the LICENSE file. Note that this is true even if you refactor and change the code; thats still a derivative work.

Also in this case it looks like what you are interested in is the parser, pretty printing and warning documentation. This was all developed quite recently by Andrew Summers (@asummers). I think if you are going to use this, and particularly if it is going to be incorporated into the elixir org at some point, he should be specifically attributed for those files. In the dialyxir repo, everyone can see who authored them, but at isn't the case here.

Also one other note, purely technical: you checked in the erlang code built by yecc. Since those are build artifacts, they should be in your .gitignore. Only the .xrl and .yrl files are needed in your repo and hex distribution.

Umbrella project has `nil` application and other symptoms

I can't build/copy a PLT in my umbrella project, it fails on this error:

$ mix dialyzer
* - Dialyzer: configuration file not found. Creating it right now at .dialyzer.exs
* - Creating one or more missing plt.
* - Copying dialyzer_erlang-20-erts-9.3.3_elixir-1.6.5.plt to dialyzer_erlang-20-erts-9.3.3_elixir-1.6.5_deps.plt
** (UndefinedFunctionError) function nil.mods/0 is undefined or private
    nil.mods()
    (mix_dialyzer) lib/dialyzer/plt/builder.ex:86: anonymous fn/1 in Dialyzer.Plt.Builder.collect_files_from_apps/1
    (elixir) lib/enum.ex:2924: Enum.flat_map_list/2
    (elixir) lib/enum.ex:2925: Enum.flat_map_list/2
    (mix_dialyzer) lib/dialyzer/plt/builder.ex:86: Dialyzer.Plt.Builder.collect_files_from_apps/1
    (mix_dialyzer) lib/dialyzer/plt/builder.ex:73: Dialyzer.Plt.Builder.build_plt/3
    (elixir) lib/enum.ex:737: Enum."-each/2-lists^foreach/1-0-"/2
    (elixir) lib/enum.ex:737: Enum.each/2

Here's the output of mix dialyzer.info, note the "invisible" application, the nil app name, and the contained app ordering_models that is in the "Project applications" section (a sibling app depends on it):

$ mix dialyzer.info

Welcome to mix dialyzer! A tool for integrating dialyzer into a project and analyzing discrepances.
Here are some infos about your system:

## Application name

nil

## Applications included into analysis


  ### Erlang applications

  * erts
  * kernel
  * stdlib
  * crypto

  ### Elixir applications

  * elixir

  ### Project applications

  * asn1
  * compiler
  * connection
  * cowboy
  * cowlib
  * crypto
  * db_connection
  * decimal
  * ecto
  * eex
  * file_system
  * gettext
  * kernel
  * logger
  * mime
  * ordering_models
  * phoenix
  * phoenix_ecto
  * phoenix_html
  * phoenix_live_reload
  * phoenix_pubsub
  * plug
  * poison
  * poolboy
  * postgrex
  * public_key
  * ranch
  * runtime_tools
  * ssl
  * stdlib
  *
  * erts
  * kernel
  * stdlib
  * crypto
  * elixir