ijdickinson

ijdickinson

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?

Showing Posts 4 to 1

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
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
ijdickinson

ijdickinson OP

We switched approach, so we dropped this task from our project.exs.

However, we did find ourselves having to ignore some other Dialyzer errors. The pattern for that is to create a ./.dialyzer-ignore.exs file, using the pattern:

[
{path, error},
]

So in theory, this should work:

# .dialyzer-ignore.exs
[
{"./project.exs", :unknown_function}
]

But I’ve not tested it, so ymmv.

Good luck!
Ian

Billzabob

Billzabob

I’m having the same problem, did you ever find a solution?

— All posts loaded —

Where Next? Top

Trending in Questions Top

RSP87
I’m working on a project that simulates the bumbl example in the programming phoenix book. It acts almost like an email client. We have a...
New
kszambelanczyk
Hello! Could someone please give me a help/sample code, how to delete a file from s3 using waffle/waffle_ecto from Phoenix app. I creat...
New
RemyXRenard
I’m seeing that a list inside a Kino.DataTable will be interpreted as a charlist, even if the Kino.configure() is set to charlists: :as_l...
New
velrest
So my question is quite simple and i have found no conclusive answer on forum, google or AI. Should we use :erlang.float for Integer to ...
New
samoloth
Hi, I’ve just set up an application with ash_authentication. There is only magic link strategy for now, so there is no confirmation add o...
New
nseaSeb
Hello, I know there is an approach for handling lists that allows for optimized traversal, but I can’t recall the specific method (somet...
New
FlyingNoodle
If a change or preparation module uses Ash.Changeset.get_argument/2 or Ash.Query.get_argument/2 (or any of the other get_argument functio...
New

Other Trending Topics Top

mudasobwa
I am happy to introduce the very α version of the new programming language compiled to BEAM. Welcome Cure. It has literally three kille...
New
marciok
Hi there! We created Gust: A task orchestrator inspired by Airflow. For those who have never heard about Aiflow, it’s a Python-based wor...
New
jimsynz
Beam Bots (or just BB for short) is a framework for building fault-tolerant robotics applications in Elixir using familiar OTP patterns. ...
New
Dmk
Xamal is a deployment tool for Elixir apps that deploys native releases to bare metal servers over SSH. It’s a port of GitHub - basecamp/...
New
Damirados
Hello everyone. After busy few months I am happy to announce v0.1.0 of Emerge & Solve. They are GUI (Emerge) and State management (S...
New
netoum
Corex is an accessible, unstyled UI component library for Phoenix that integrates Zag.js state machines using Vanilla JavaScript and Live...
New

We're in Beta

About us Mission Statement

Options

Thread Display Mode




Thread Preview

Skip Thread Previews