tino415

tino415

Hello all,

I’m triing to integrate dialyzer/dialyxer into one project that is using cachex, but dialyzer keeps reporting some veird error with Cachex.start_link/2 function. I managed to destille minimal example:

defmodule Test do
  def hello do
    {:ok, _pid} = Cachex.start_link(__MODULE__, stats: true)
  end
end

Dialyzer is complaining that

lib/test.ex:3:pattern_match
The pattern can never match the type.

Pattern:
{:ok, __pid}

Type:
:error | :ok | {:error, atom() | {:already_started, pid() | {_, _}}}

But when I tri to run function in iex, it returns {:ok, pid()}, also when I look at the code, typescpecs seems right and code also, so, how did dialyzer come up with return type :error | :ok | {:error, atom() | {:already_started, pid() | {_, _}}}? The code for Cachex.start_link/2 looks like this:

  @spec start_link(atom | Keyword.t) :: { atom, pid }
  def start_link(options) when is_list(options) do
    with { :ok,  name } <- Keyword.fetch(options, :name),
         { :ok,  true } <- ensure_started(),
         { :ok,  true } <- ensure_unused(name),
         { :ok, cache } <- setup_env(name, options),
         { :ok,   pid }  = Supervisor.start_link(__MODULE__, cache, [ name: name ]),
         { :ok,  link }  = Informant.link(cache),
                ^link   <- Overseer.update(name, link),
     do: { :ok,   pid }
  end
  def start_link(name) when not is_atom(name),
   do: error(:invalid_name)
  def start_link(name),
    do: start_link(name: name)

  @doc false
  @spec start_link(atom(), Keyword.t) :: { atom(), pid() }
  def start_link(name, options),
    do: start_link([name: name] ++ options)

Anybody have experience with similar problem and how to solve it?

Showing Posts 1 to 5

ityonemo

ityonemo

if Cachex.start_link/1 returns anything besides {:ok, pid}, (for example :error, from one of the with block fallthroughs), then your hello function will crash due to match error, dialyzer is trying to tell you this.

michallepicki

michallepicki

This seems to be a bug in specs in the sleeplocks library and should be fixed by Fix execute/2 spec by michallepicki · Pull Request #5 · whitfin/sleeplocks · GitHub

NobbZ

NobbZ

Which is fine, dialyzer assumes that it is exactly what the programer wants, in spirit of let-it-crash. It also is not what dialyzer complaints about here.

The error message of dialyzer says, that there will never be a {:ok, _} value returned, as dialyzer only knows about the possibilities :ok, :error, and an :error-tuple`

tino415

tino415 OP

Thank you, when I override sleeplock dependenci in mix.exs, it started to work

michallepicki

michallepicki

It’s possible that Cachex also has wrong specs, at least I think in many modules types referenced from specs won’t be found by Dialyzer, e.g. here: cachex/lib/cachex/services/overseer.ex at main · whitfin/cachex · GitHub Spec is used but Supervisor.Spec is aliased, not Cachex.Spec. But I may be wrong, and in that case Dialyzer is probably smart enough to ignore the spec.

Overall this is a common problem through the Elixir ecosystem, almost none of the libraries are running Dialyzer on the CI so specs just get outdated or invalid. I try to maintain Elixir itself working somehow with Dialyzer by running a check on it every day: GitHub - michallepicki/elixir-lang-dialyzer-runs: Daily Dialyzer checks on Elixir source code · GitHub but it won’t catch some issues because they may pop up when a function is called, not defined, and I am not analyzing Elixir test modules since they are .exs files.

— All posts loaded —

Where Next? Top

Trending in Questions Top

Blokh
Hey guys, I’ve got a huge CSV ( around 10 GB ) that needs to be processed hourly Do you guys have any suggestions what is the best prac...
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
Onor.io
I have what I’ve heard referred to as a “lookup table” in my database. This is a way of assigning codes to common values. One common lo...
New
Trolleger
What approach to take when sending live updates to “random” users Hi! I have a question, I have a little chat app, and when I create a DM...
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
matt-savvy
Anyone here using Honeybadger? My Honeybadger account is being overwhelmed with noise from some bots. Seeing a lot of Bandit.HTTPError...
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

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
garrison
Hobbes is a low-level distributed database for the Elixir programming language. Hobbes provides a simple, safe, and scalable storage lay...
New
mcass19
ExRatatui lets you cook up rich terminal UIs in Elixir, powered by Rust’s ratatui via Rustler NIFs. Build interactive terminal applicatio...
New
Damirados
Hello everyone. After busy few months I am happy to announce v0.1.0 of Emerge &amp; 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
wintermeyer
There are three potential reasons for members of this forum to have a look at https://vutuv.de You are tired or annoyed of LinkedIn. Yo...
New

We're in Beta

About us Mission Statement

Options

Thread Display Mode




Thread Preview

Skip Thread Previews