VLanvin

As of release [v0.11.2](https://github.com/WhatsApp/eqwalizer/releases/tag/v0.11.2), mini-elp now supports a JSON file as input as a substitute to `rebar3`. This can be achieved using the `--project` option, e.g., `elp eqwalize-all --project path/to/build_info.json`,...

There is no way I know of to print it using elp/eqWAlizer, but it uses the command `erl -noshell -eval "io:format('~s', [code:root_dir()])" -s erlang halt` internally to detect it, so...

After reading the docs and running some quick experiments, here are my preliminary conclusions about this. I think the main difference is that eqWAlizer has two modes, strict and dynamic....

I agree, those are the 5 most important points we need to address before merging. Regarding Windows support, I need to get an OCaml install going on Win 10 before...

How did you compile/install OTP? I cannot reproduce the problem locally using `./otp_build all -a` followed by `make install`, even on a fresh install. It seems that it may come...

TL;DR: The [latest release](https://github.com/WhatsApp/eqwalizer/releases/tag/v0.11.14) should solve the problem. Long explanation: eqWAlizer was not meant to be used to type-check OTP modules initially. Since eqWAlizer needs info about OTP modules (types...

To support this example, we need complex reasoning about patterns and types to eliminate the types matched by the left hand side of `?=` from the right hand side. This...

> isn't this needed for maybe support? In the meantime should we have eqwalizer not run in maybe blocks? Or all maybe blocks will need `% eqwalizer:fixme` comments? A lot...

Hi, thanks for the report. Yes, we indeed do not check that the module annotation matches the name of the file in eqWAlizer. We usually run eqWAlizer alongside Dialyzer, meaning...

Yes this is a false positive, thank you for reporting it. This is a known issue in eqWAlizer's handling of pattern matching: it currently does not refine the type of...