[erlang-bugs] Dialyzer v2.2.0 crash

Peer Stritzinger <>
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.

Great!

> 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 mailing list