- Notifications
You must be signed in to change notification settings - Fork38
WhatsApp/eqwalizer
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
A type-checker for Erlang.

eqWAlizer is integrated and distributed with ELP (Erlang Language Platform).
- Use OTP 26 or higher.
- Install ELP.
- Add
eqwalizer_supportdependencyto your rebar3 project definition (see below) - From the project directory run:
elp eqwalize <module>to type-check a single moduleelp eqwalize-allto type-check allsrcmodules in the project
Addingeqwalizer_support:
{deps, [ {eqwalizer_support, {git_subdir, "https://github.com/whatsapp/eqwalizer.git", {branch, "main"}, "eqwalizer_support"}}]}.- Use OTP 26 or higher.
- Install ELP.
- Write a
project.jsonfile describing your project. - From the project directory, assuming your
.jsonfile is calledproject.jsonrun:
elp eqwalize <module> --project project.jsonto type-check a single moduleelp eqwalize-all --project project.jsonto type-check allsrcmodules in the project
Please refer tothe FAQ document for answers to some common questions,including:
- What's the difference between eqWAlizer and Dialyzer?
- Why not extend Dialyzer, rather than creating a new tool?
- What about Elixir?
Where can I learn more about eqWAlizer, its technical principles, its relation to dialyzer and elixir support feasibility?
here.
eqWAlizer isApache licensed.
About
A type-checker for Erlang
Resources
License
Code of conduct
Contributing
Uh oh!
There was an error while loading.Please reload this page.
Stars
Watchers
Forks
Uh oh!
There was an error while loading.Please reload this page.
Contributors15
Uh oh!
There was an error while loading.Please reload this page.