Update Gradualizer to 0.3.0

erlang-ls / erlang_ls

The Erlang Language Server

https://erlang-ls.github.io/

Apache License 2.0

620 stars 136 forks source link

Closed erszcz closed 1 year ago

erszcz commented 1 year ago

This version of Gradualizer brings approx. 30 PRs. The highlights are:

Improve map exhaustiveness checking #524 by @xxdavid
Fix all remaining self-check errors #521 by @erszcz
Fix intersection-typed function calls with union-typed arguments #514 by @erszcz
Experimental constraint solver #450 by @erszcz

robertoaloi commented 1 year ago

Thanks!