erlang / erlide_eclipse

Eclipse IDE for Erlang
http://erlide.org
202 stars 70 forks source link

Dialyzer corrections #353

Closed bjosv closed 1 year ago

bjosv commented 1 year ago

This PR contains:

Matching PR: https://github.com/erlang/erlide_kernel/pull/23