Skip to content

Remove dialyzer#209

Merged
lucacorti merged 1 commit into
mainfrom
maint/remove-dialyzer
Jun 15, 2026
Merged

Remove dialyzer#209
lucacorti merged 1 commit into
mainfrom
maint/remove-dialyzer

Conversation

@lucacorti

Copy link
Copy Markdown
Owner

The benefit of running dialyzer is less justified now that the type system has reached a point where inference is performed on most things.

The benefit of running dialyzer is less justified now that the type
system has reached a point where inference is performed on most things.
@lucacorti lucacorti merged commit 3b2fd61 into main Jun 15, 2026
12 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant