[erlang-bugs] Dialyzer v2.2.0 crash

Kostis Sagonas kostis@REDACTED
Mon May 2 09:21:42 CEST 2011


Kostis Sagonas wrote:
> Peer Stritzinger wrote:
>> When running dialyzer like:
>>
>> ...
>>
>> I get the following error:
>>    ...  SNIP
> 
> 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.

Since I had already a branch open which was fixing some other issue in 
erl_types.erl, I've decided to use that branch for including those fixes 
too.  I know it's not the proper way of doing things, but it's extremely 
cumbersome to maintain different versions of erl_types...

The changes that fix these are here:

   git fetch git://github.com/kostis/otp.git list_to_bitstring

The last commit fixes the issue reported by Peer.
The previous commits refer to erlang:list_to_bitstring/1.

Kostis



More information about the erlang-bugs mailing list