Movatterモバイル変換


[0]ホーム

URL:


Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

A type-checker for Erlang

License

NotificationsYou must be signed in to change notification settings

WhatsApp/eqwalizer

A type-checker for Erlang.

eqWAlizer logo

Using it with rebar3 projects

eqWAlizer is integrated and distributed with ELP (Erlang Language Platform).

  1. Use OTP 26 or higher.
  2. Install ELP.
  3. Addeqwalizer_support dependencyto your rebar3 project definition (see below)
  4. From the project directory run:
  • elp eqwalize <module> to type-check a single module
  • elp eqwalize-all to type-check allsrc modules in the project

Addingeqwalizer_support:

{deps, [  {eqwalizer_support,    {git_subdir,        "https://github.com/whatsapp/eqwalizer.git",        {branch, "main"},        "eqwalizer_support"}}]}.

Using it with non-rebar projects

  1. Use OTP 26 or higher.
  2. Install ELP.
  3. Write aproject.json file describing your project.
  4. From the project directory, assuming your.json file is calledproject.json run:
  • elp eqwalize <module> --project project.json to type-check a single module
  • elp eqwalize-all --project project.json to type-check allsrc modules in the project

FAQ

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.

License

eqWAlizer isApache licensed.

About

A type-checker for Erlang

Resources

License

Code of conduct

Contributing

Stars

Watchers

Forks


[8]ページ先頭

©2009-2025 Movatter.jp