ijdickinson

ijdickinson

Dialyzer error when checking Mix task

I have a Mix task that extracts the version number of the project (for use in a build pipeline):

defmodule Mix.Tasks.VersionNumber do
  @moduledoc "Mix task to print the current version number to stdout"
  use Mix.Task

  @shortdoc "Print the current application version number"
  def run(_) do
    MyApp.MixProject.project |> Keyword.fetch!(:version) |> IO.puts
  end
end

This all works fine. However, when I run mix dialyzer on my project, I get an error:

$ mix dialyzer
Compiling 1 file (.ex)
Finding suitable PLTs
Checking PLT...
[:asn1, :castore, :certifi, :compiler, :connection, :cowboy, :cowboy_telemetry, :cowlib, 
:crypto, :dart_sass, :db_connection, :decimal, :ecto, :ecto_sql, :eex, :elixir, :esbuild, 
:expo, :file_system, :finch, :geo, :geo_postgis, :gettext, :hackney, :heroicons, :hpax, 
:httpoison, :idna, :jason, :kernel, :logger, :metrics, :mime, :mimerl, :mint, :mix, 
:nimble_options, :nimble_pool, :parse_trans, :phoenix, :phoenix_copy, :phoenix_ecto, 
:phoenix_html, :phoenix_live_dashboard, :phoenix_live_reload, :phoenix_live_view, 
:phoenix_pubsub, :phoenix_template, :plug, :plug_cowboy, ...]
PLT is up to date!
No :ignore_warnings opt specified in mix.exs and default does not exist.

Starting Dialyzer
[
  check_plt: false,
  init_plt: '/home/ian/projects/verna/myapp/_build/dev/dialyxir_erlang-25.1.2_elixir-1.14.2_deps-dev.plt',
  files: ['/home/ian/projects/verna/myapp/_build/dev/lib/myapp/ebin/Elixir.MyApp.LocationSearch.SearchResult.beam',
   '/home/ian/projects/verna/myapp/_build/dev/lib/myapp/ebin/Elixir.MyApp.beam',
   '/home/ian/projects/verna/myapp/_build/dev/lib/myapp/ebin/Elixir.MyApp.Application.beam',
   '/home/ian/projects/verna/myapp/_build/dev/lib/myapp/ebin/Elixir.MyApp.ReferenceData.LandRegistry.beam',
   '/home/ian/projects/verna/myapp/_build/dev/lib/myapp/ebin/Elixir.MyApp.Gettext.beam',
   ...],
  warnings: [:unknown]
]
Total errors: 1, Skipped: 0, Unnecessary Skips: 0
done in 0m4.56s
lib/mix/tasks/version_number.ex:7:unknown_function
Function MyApp.MixProject.project/0 does not exist.
________________________________________________________________________________
done (warnings were emitted)
Halting VM with exit status 2

At a guess, the problem is maybe related to project/0 being defined in an .exs file rather than .ex? Is there a way to either ignore the mix task in the Dialyzer analysis, or, better, help it to find the definition of project/0?

Marked As Solved

al2o3cr

al2o3cr

Dialyzer depends on the compiler, so it’s definitely not going to see modules defined in .exs files.

That file will be loaded by Mix at runtime before running the task, so it doesn’t actually fail.

A better approach might be to use the built-in Mix machinery, specifically Mix.Project.config/0:

defmodule Mix.Tasks.VersionNumber do
  @moduledoc "Mix task to print the current version number to stdout"
  use Mix.Task

  @shortdoc "Print the current application version number"
  def run(_) do
    Mix.Project.config() |> Keyword.fetch!(:version) |> IO.puts
  end
end

Also Liked

kenny-evitt

kenny-evitt

This answer on the following Stack Overflow question seems to have worked to fix similar errors for one of my own projects:

The answer states that you can add the following to (the return value of) the project/0 function in your project Mix module file (i.e. mix.exs) – or add :mix to the list if the key-value pair already exists:

      dialyzer: [plt_add_apps: [:mix]]

Example project/0 function:

  def project do
    [
      app: :some_app,
      version: "0.1.0",
      elixir: "~> 1.6",
      start_permanent: Mix.env() == :prod,
      deps: deps(),
      # Added following line:
      dialyzer: [plt_add_apps: [:mix]]
    ]
  end

Where Next?

Popular in Questions Top

pgiesin
This should be a simple problem but I just can’t seem to figure it out. I have a standalone Elixir app that won’t find the database. Dep...
New
SoCreat
i’m a new one to elixir which editor can i use vs code? or atom? Thanks! :smiley:
New
vertexbuffer
Hello, can anybody help here..? I have a list of players and I what to delete an element, but every for loop the list is reverting to ori...
New
stefanchrobot
What’s the safe way to decode a JSON string into a struct? I want to avoid calling String.to_atom. Jason.decode can give me a map with st...
New
myronmarston
The Elixir Typespec docs show the following syntax for keyword lists in typespecs: # ... | [key: type] # keyword lis...
New
baxterw3b
Hi guys, i’m new in the Elixir world, and i have to say, that i love it! i’m having some problem to understand anonymous functions with ...
New
kostonstyle
Hi all I want to have a unix time, from the current time plus 1 hour. DateTime.now + 1 hour How to get it in elixir? Thanks
New
chewm
Hi guys, nice to meet you to the whole forum, I’m new here, I’m trying to configure visual studio code for elixir, right now the intellis...
New
Qqwy
Original source of discussion: This topic on the Pragmatic Programmers' Functional Web Development with Elixir, OTP, and Phoenix forum. ...
New
joeerl
Hello again - after a longish gap I’ve decided I really must dig into Elixir and see what’s been happening here - so I have a few questio...
New

Other popular topics Top

senggen
Erlang/OTP 25 [erts-13.2.2] [source] [64-bit] [smp:8:8] [ds:8:8:10] [async-threads:1] 15:22:35.803 [error] gen_event {lager_file_backend...
New
yawaramin
In the Dialyzer docs ( http://erlang.org/doc/man/dialyzer.html#requesting-or-suppressing-warnings-in-source-files ), there is a way to tu...
New
jerry
Good day to you all. I have been struggling to get a query involving like and ilike to work. Can anyone assist me on this, please? pro...
New
axelson
This post is a wiki (feel free to hit the edit button near the bottom right of this post to add your own changes!) This post collects co...
239 45766 226
New
vertexbuffer
Hello, can anybody help here..? I have a list of players and I what to delete an element, but every for loop the list is reverting to ori...
New
freewebwithme
Using vs code and installed ElixirLS: support and debugger. And I got an error popped up on start up says Failed to run ‘elixir’ comma...
New
aadeshere1
I have a another noob question about loop. Since elixir is immutable, while loop is not directly possible. total = 10 while total != 0 ...
New
alice
Hey, Just curious what are the main benefits of Elixir compared to Clojure? When is Elixir more useful than Clojure and vice versa? Th...
New
fayddelight
I tried installing elixir 1.11.2 erlang 23.3.4 via asdf in my zsh shell. Enabled the versions locally and globally. When I list them ...
New
baxterw3b
Hi guys, i’m new in the Elixir world, and i have to say, that i love it! i’m having some problem to understand anonymous functions with ...
New

We're in Beta

About us Mission Statement