This Week's Trending Top

This Month's Trending Top

This Year's Trending Top

hez
With this code under OTP 27 dialyzer ran cleanly: defmodule Test do @base_uribase_uri URI.new!(“`https://google.ca`”) def our_base ...
New

Last Three Year's Trending Top

lok0613
This dialyzer warning just happened randomly once I apply defmacro in my module. I got 2 modules, the issues only appear in StoreFront m...
New
tielur
I’m getting a few things from my dialyzer output that I’m not sure how I can fix. :0:unknown_function Function ExUnit.Assertions.flunk/1...
New
zachdaniel
I was hoping I could get something like this working: defmodule FooRegistry do @foos [ FirstFoo, SecondFoo, ThirdFoo ]...
New
Rich_Morin
I’ve been adding and refining specs on my (12 KLOC Elixir) project. This is an iterative process, so I run Dialyzer a lot. Even after the...
New
chrisdel101
After reading Dialyzer: suppress warning on a specific function, I think I know what I need but I don’t know where to put it. I get a wa...
New
l3nz
I have a function where I do: def recomputeCapacity(%MapSet{} = mCallIds) do cu = mCallIds |> MapSet.to_list() And D...
New
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 ...
New
iamacube
:wave:t3: I want to understand the reason of constructing an improper list usage in the elixir-plug repository, Line 256 First Questio...
New
paulanthonywilson
I’m working with a team that are running (relatively) old versions of Elixir and Erlang. Last month I added dialyzer, via dialyxir (can n...
New
joshua.aug
Im getting this error from dialyzer “The pattern can never match the type.” Here’s some sample code @spec check_rating_to_play(any(),...
New
terenceponce
I’m trying to write a @spec for this function that was made by mix phx.gen.auth: # lib/my_app/identity/user_token.ex @spec build_sessio...
New
rakeshtripathy
The function call will not succeed. ExInsights.track_exception( _ :: %{:__exception__ => true, :__struct__ => atom(), atom() =&g...
New
geoffrey
I am currently facing challenges with the Dialyzer tool while working on two Elixir libraries: AnyHttp Library: This library offers a ...
New
DaAnalyst
The following is a snippet depicting my use case: defmodule Abstract do @callback foo() :: binary() defmacro __using__( _) do q...
New
apoorv-2204
defmodule AdminWeb do @moduledoc """ The entrypoint for defining your web interface, such as controllers, views, channels and so on...
New

Trending Over Three Years Top

myronmarston
The Elixir Typespec docs show the following syntax for keyword lists in typespecs: # ... | [key: type] # keyword lis...
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
tosbourn
I’ll be honest, there is a lot about dialyzer output that confuses me. Right now I’m confused by “The call … will never return since it ...
New
tim2CF
If we have function with typespec that always returns value with incorrect type @spec hello(integer()) :: map() def hello(int) do ...
New
maennchen
I'm trying to fix all dialyzer warnings in quantum for the next big release. There are two errors which I'm not able to solve. The erro...
New
Fl4m3Ph03n1x
Background I am trying dialyxir to find out if it is worth it, however I have a bunch of errors on the compile phase and I want to fix th...
New
paseg
Hi When I use @behaviour and @callback, the functions are defined. I guess that I do not need to use @spec for the implementation of the...
New
Rich_Morin
I’ve gotten my (10 KLOC) project down to a single Dialyzer error, but I can’t figure this one out. Suggestions? See this gist for the code.
New
syukronrm
I use ElixirLS extension in vscode on Ubuntu 18.04. For now, Go To Definition by ElixirLS works well on non-dependency modules. I was won...
New
Crowdhailer
NOTE all these questions are related to my use of dialyxir. Type variables From the erlang documentation. Type variables can be used i...
New
fireproofsocks
I’m confused… when grooming the docs for https://elixir-lang.org/getting-started/typespecs-and-behaviours.html I got the feedback that mu...
New
vfsoraki
I have added a type definition for a struct (an Ecto schema actually) with @opaque like this: @opaque t() :: %__MODULE__{} I did this s...
New
Fl4m3Ph03n1x
Background In a post I made about having static types in Elixir, someone mentioned the tool Gradualizer. This came as a surprise to me, a...
New
valyukov
I use protocols in my project. When I run mix dialyzer, it returns list of not implemented protocols in Unknown functions: section. e.g....
New
tomekowal
I am reading “Domain modelling made functional” and many ideas resonate with me. The examples are in F♯ but some ideas are general and tr...
New
  • Follow
  • Join
  • Shape
the conversation

Latest on Elixir Forum

Elixir Forum

Similar Portals

    None added yet

We're in Beta

About us Mission Statement