Re: [erlang-bugs] Dialyzer v2.2.0 crash

[Kostis Sagonas-2]

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
[hidden email]
http://erlang.org/mailman/listinfo/erlang-patches

[Henrik Nord-2]

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
> [hidden email]
> 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

_______________________________________________
erlang-patches mailing list
[hidden email]
http://erlang.org/mailman/listinfo/erlang-patches