Latest #dialyzer Threads 
Now that the compiler is giving us some reporting about type mismatches, I’m wondering about people’s use of Dialyzer.
For anyone on Eli...
New
Hello everyone,
I’m finally happy enough with my library Assay to share it here. Assay is an incremental Dialyzer wrapper built for CI a...
New
dialyzer_json
dialyzer_json is an Elixir library that runs Dialyzer and emits its warnings as
structured JSON, enriched with metadata an...
New
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
Hi everyone,
I’m currently building QyCore, a lightweight open-source DAG task scheduler and execution engine written in Elixir. The ori...
New
I’m working on bringing incremental support from DIalyzer released in OTP 26 into Dialyxir. The preliminary results on a large umbrella a...
New
With this code under OTP 27 dialyzer ran cleanly:
defmodule Test do
@base_uribase_uri URI.new!(“`https://google.ca`”)
def our_base ...
New
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
We have a rather large code base ~2200 elixir files and growing. On my nice Ryzen 9, it takes ~47 seconds to analyze the generated PLT fi...
New
Can anyone explain this error to me?
From my POV, SightxrApi.Job.ParseDocumentsWorkflow.Options is right there :).
New
This Week's Trending
This Month's Trending
With this code under OTP 27 dialyzer ran cleanly:
defmodule Test do
@base_uribase_uri URI.new!(“`https://google.ca`”)
def our_base ...
New
Hello everyone,
I’m finally happy enough with my library Assay to share it here. Assay is an incremental Dialyzer wrapper built for CI a...
New
This Year's Trending
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
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
Now that the compiler is giving us some reporting about type mismatches, I’m wondering about people’s use of Dialyzer.
For anyone on Eli...
New
I’m working on bringing incremental support from DIalyzer released in OTP 26 into Dialyxir. The preliminary results on a large umbrella a...
New
Hi everyone,
I’m currently building QyCore, a lightweight open-source DAG task scheduler and execution engine written in Elixir. The ori...
New
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
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
dialyzer_json
dialyzer_json is an Elixir library that runs Dialyzer and emits its warnings as
structured JSON, enriched with metadata an...
New
Last Three Year's Trending
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
TypeCheck: Fast and flexible runtime type-checking for your Elixir projects.
Core ideas
Type- and function specifications are const...
New
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
I was hoping I could get something like this working:
defmodule FooRegistry do
@foos [
FirstFoo,
SecondFoo,
ThirdFoo
]...
New
Dialyzer is a tool that you’ve probably heard about in the Elixir community. You may have even used it. However, adding Dialyzer to an ex...
New
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
I have a function where I do:
def recomputeCapacity(%MapSet{} = mCallIds) do
cu =
mCallIds
|> MapSet.to_list()
And D...
New
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
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
Here’s a repo with an example GitHub - brandynbennett/dialyzer_polyn_issue
I’ve made a library called “polyn” and am trying to include i...
New
:wave:t3:
I want to understand the reason of constructing an improper list usage in the elixir-plug repository, Line 256
First Questio...
New
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
I created a project using the command:
mix phx.new elixir_api \
--no-assets \
--no-dashboard \
--no-ecto \
--no-gettext \
--no...
New
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
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
Trending Over Three Years
Hello everyone,
Long time lurker first time poster here. I’ve recently begun working on Elixir full-time again! :raised_hands: It’s been...
New
The Elixir Typespec docs show the following syntax for keyword lists in typespecs:
# ...
| [key: type] # keyword lis...
New
Background
This question comes mainly from my ignorance. Today is Black Friday, one of my favorite days of the year to buy books. One boo...
New
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
If we have function with typespec that always returns value with incorrect type
@spec hello(integer()) :: map()
def hello(int) do
...
New
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
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
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
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
Do you use Dialyzer/Dialyxir in your Elixir projects?
poll
If you only use it in some of them, which ones?
If you don’t use it, why not...
New
Today I released a new dialyzer Mix task as the dialyzex package! At the time we started writing this task, the existing dialyzer integra...
New
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
NOTE all these questions are related to my use of dialyxir.
Type variables
From the erlang documentation.
Type variables can be used i...
New
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
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
Latest on Elixir Forum
Get money off!
The Pragmatic Bookshelf
35% off any eBook
Manning Publications
45% off any item
ElixirCasts
10% off for life
The Pragmatic Studio
20% off any course
AppSignal
10% off for 12 months
Honeybadger
10% off for 12 months
Simply use coupon code "devtalk.com" or "elixirforum" at checkout!
Filter by Type:
Popular Tags
- #ecto
- #liveview
- #troubleshooting
- #learning-elixir
- #deployment
- #library
- #erlang
- #testing
- #genserver
- #mix
- #absinthe
- #remote-other
- #otp
- #plug
- #how-to-question
- #macros
- #postgres
- #channels
- #exunit
- #elixirconf
- #discussion
- #javascript
- #podcasts
- #code-sync
- #onsite
- #dialyzer
- #docker
- #authentication
- #umbrella
- #full-time-contract
- #podcasts-by-brainlid
- #ecto-query
- #elixir-ls
- #phoenix_html
- #iex
- #blog-post
- #graphql
- #genstage
- #ai
- #websockets
- #supervisor
- #advent-of-code
- #distillery
- #api
- #processes
- #forms
- #metaprogramming
- #security
- #performance
- #hex
Forums
Our Sponsors
Build Elixir applications with speed and confidence.
Supporting innovation across the BEAM ecosystem.
We build reliable cloud platforms for business-critical systems.
Catch errors, track performance, monitor hosts and more.
Practical resources that improve the lives of professional developers.
Develop your skills with books, videos, and courses.
Enabling companies to succeed by building software people love.
Courses that'll move you from confusion to "Aha, now I get it!"