[erlang-bugs] Spec or Dialyzer regression

Kostis Sagonas <>
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.

Kostis


More information about the erlang-bugs mailing list