This Week's Trending Top

This Month'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

This Year's Trending Top

yawaramin
In the Dialyzer docs ( dialyzer — OTP 29.0.2 (dialyzer 6.0.1) ), there is a way to turn off a specific warning for a function: -dialyzer...
New
robbplo
I ran into this issue the other day and it’s been bugging me ever since. Below is a basic behaviour/implementation, and function which re...
New
GES233
Hi everyone, I’m currently building QyCore, a lightweight open-source DAG task scheduler and execution engine written in Elixir. The ori...
New
dmarcoux
Hi, I started contributing to a project where the CI checks for Dialyzer warnings. There is this code where I inverted the condition and...
New
honungsburk
As the title says: is it possible to verify that a parameter to a macro is a typespec? As I understand it, a macro receives the ASTs as p...
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
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
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
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
brandynbennett
Here’s a repo with an example GitHub - brandynbennett/dialyzer_polyn_issue · GitHub I’ve made a library called “polyn” and am trying to ...
New
iamacube
:waving_hand:t3: I want to understand the reason of constructing an improper list usage in the elixir-plug repository, Line 256 First ...
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
leandroluk
I created a project using the command: mix phx.new elixir_api \ --no-assets \ --no-dashboard \ --no-ecto \ --no-gettext \ --no...
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

Trending Over Three Years Top

myronmarston
The Elixir Typespec docs show the following syntax for keyword lists in typespecs: # ... | [key: type] # keyword lists...
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 error...
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
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
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
anthonator
Hey everyone! I’m curious why Dialyzer does a full analysis even when I cache the _build directory when using GitHub Actions. My deps di...
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