exml icon indicating copy to clipboard operation
exml copied to clipboard
verified publisher icon esl

Enable eqwalizer

Open erszcz opened this issue 1 year ago • 0 comments

This PR enables WhatsApp's eqWAlizer and fixes all errors it reports in exml. It's also intended as a tech spike to familiarise with eqwalizer and its capabilities.

All in all, the impression is very good - the typechecker is fast, reliable, easy to integrate with editor/IDE. Definitely recommended 👍

One shortcoming I found is that eqwalizer doesn't report redundant spec clauses. Dialyzer, however, seems to catch such cases if they're left after making a project eqwalizer clean, so the combo of both tools offers a comprehensive safety harness.

I'm creating this PR as a preview, not to force inclusion of eqwalizer in all our projects.

erszcz avatar Mar 20 '24 10:03 erszcz