Comment by simoncion

For what it's worth, Erlang's dialyzer definitely does not suck.