[erlang-bugs] Spec or Dialyzer regression
Tue May 15 22:24:34 CEST 2012
On 05/15/2012 09:50 PM, Tuncer Ayaz wrote:
> There seems to be a spec or Dialyzer regression in otp master
> revealed when dialyzing rebar.
Since Tuncer did not submit all the info he has, let me add that the
behavior reported in his mail exists in the *master* branch of OTP and
*not* in the maint branch which works correctly in rebar's code base.
It's unlikely that this is a dialyzer issue, as AFAIK dialyzer's code is
the same in these two branches, but it's most likely either due to some
erroneous spec that was introduced/changed in the master branch or a
problem in rebar's code base.
IMO, Tuncer should have checked the latter before filling the report. It
would be nice if he did that.
More information about the erlang-bugs