Skip to content

Dialyxer#11

Merged
Puckoland merged 1 commit intomasterfrom
dialyxer
Jul 4, 2025
Merged

Dialyxer#11
Puckoland merged 1 commit intomasterfrom
dialyxer

Conversation

@Puckoland
Copy link
Copy Markdown
Collaborator

Just testing dialyxer workflow for now.

@Puckoland
Copy link
Copy Markdown
Collaborator Author

Puckoland commented Jul 3, 2025

Alright, works with CI.

I would like to start using it for static type checking (if a function has @spec defined, it will check it and all calls of it).

However, it does not work with tests by default. I fixed that in pg_randomizer, but it does not work here. Maybe because of an umbrella project?

But I would merge it just for lib directories for now anyway.

FYI: used as mix dialyzer, first run takes quite some time.

@revolko
Copy link
Copy Markdown
Owner

revolko commented Jul 4, 2025

Should it be installed as a project dependency? I am a bit surprised because the official LSP (provides "intelisense", autocompletion... you know what, read out about it. It is time you understand how jetbrains IDEs work) already has dialyzer installed and it checks everytime I start my editor. I will read a bit more about it before approve.

@revolko
Copy link
Copy Markdown
Owner

revolko commented Jul 4, 2025

All right, I got convinced: https://fly.io/phoenix-files/adding-dialyzer-without-the-pain/.

@Puckoland
Copy link
Copy Markdown
Collaborator Author

Should it be installed as a project dependency? I am a bit surprised because the official LSP (provides "intelisense", autocompletion... you know what, read out about it. It is time you understand how jetbrains IDEs work) already has dialyzer installed and it checks everytime I start my editor. I will read a bit more about it before approve.

Not using JetBrains IDE for this :D
If for nothing else, as mentioned in the comment, I would also like to use it in CI, not just locally

@revolko
Copy link
Copy Markdown
Owner

revolko commented Jul 4, 2025

Should it be installed as a project dependency? I am a bit surprised because the official LSP (provides "intelisense", autocompletion... you know what, read out about it. It is time you understand how jetbrains IDEs work) already has dialyzer installed and it checks everytime I start my editor. I will read a bit more about it before approve.

Not using JetBrains IDE for this :D If for nothing else, as mentioned in the comment, I would also like to use it in CI, not just locally

Yeah, for CI I was originally thinking that it could be installed independently, but this is fine.

LSP is valid for vcode as well. Or are you using vim??

@Puckoland
Copy link
Copy Markdown
Collaborator Author

LSP is valid for vcode as well. Or are you using vim??

I am trying out zed

@Puckoland Puckoland merged commit 1a7ca0e into master Jul 4, 2025
@Puckoland Puckoland deleted the dialyxer branch July 4, 2025 11:17
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.

2 participants