[erlang-bugs] [erlang-patches] Dialyzer v2.2.0 crash

Henrik Nord henrik@REDACTED
Mon May 2 11:34:40 CEST 2011


On 05/02/2011 09:21 AM, Kostis Sagonas wrote:
> 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
> _______________________________________________
> erlang-patches mailing list
> erlang-patches@REDACTED
> http://erlang.org/mailman/listinfo/erlang-patches
Hi
I have included this branch into 'pu'
If nothing breaks I aim for a swift graduation to 'dev'
Thank you for the contribution

-- 
/Henrik Nord Erlang/OTP




More information about the erlang-bugs mailing list