[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