I have two function clauses @spec some_function(integer(), :unavailable) :: {:ok, User.t()} | {:error, Ecto.Changeset.t()} def some_function(id, :unavailable) do @spec some_function(integer(), :waiting | :working) :: {:ok, User.t()} | {:error, Ecto.Changeset.t()} def some…

[image] freewebwithme: This will raise warning from dialyzer. What warning? Depending on the specific message, this thread may be relevant: [image] Writing multiple specs for multiple function clauses? Or single spec? Questions I’m confused… when groom…

the warning probably is about defining twice the spec. Use 1 spec for both functions @spec some_function(integer(), :unavailable | :waiting | :warning) :: {:ok, User.t()} | {:error, Ecto.Changeset.t()}

The call 'Elixir.MyApp.SomeModule':some_function (_id@1 :: any(), 'waiting') breaks the contract (integer(),'atom') -> {'ok', 'Elixir.MyApp.SomeModule.User':t()} | {'error', 'Elixir.Ecto.Changeset':t()}; (integer(), binar…

That message implies that some_functions spec has been parsed as if it was written: @spec some_function(integer(), :atom) :: {:ok, User.t()} | {:error, Ecto.Changeset.t()} @spec some_function(integer(), binary(), :unavailable) :: {:ok, User.t()} | {:error, Ecto.Changeset.t()} which explains why Di…

Dialyzer warning on pattern match using :atom

Questions & Help Questions

al2o3cr November 11, 2022, 8:44pm 2

What warning?

Depending on the specific message, this thread may be relevant: