[erlang-bugs] Dialyzer v2.2.0 crash
Sun May 1 17:38:43 CEST 2011
On Sun, May 1, 2011 at 4:49 PM, Kostis Sagonas <> wrote:
> Peer Stritzinger wrote:
> Thanks for your bug report! It's indeed an error in the processing of
> binary types generated by typer which are then fed back to dialyzer. I
> already have a patch ready that fixes this and will hopefully appear in
> OTP's dev branch pretty soon.
> If the other crash you get is in a function with a spec containing a type of
> the form <<_:N,_:_*M>>, don't bother minimizing the test case and sending a
> report. Otherwise, please do -- perhaps just to me.
The other specs also contained this form, so its the same issue.
BTW: is it normal not to get any warnings when just doing --annotate
in typer and then dialyzer with no manually tweaked spec's (for
details see http://stackoverflow.com/questions/5849335/run-of-dialyzer-after-annotation-with-typer-did-not-show-any-warnings)?
More information about the erlang-bugs