[erlang-questions] Dialyzer HttpPacket Waring (bug?)

Edmond Begumisa <>
Tue Mar 1 11:10:10 CET 2011


Actually, you are both correct.

My IDE was pre-loading CouchDB which comes with it's own older OTP. So  
when dialyzing from my IDE, I was actually running in an older OTP with  
the bug rather than the latest one I normally work with. I only realised  
this when I noticed the bug would only appear in my applications that use  
CouchDB. I've rectified this and everything is fine.

Thanks Lukas and Kostis for your help.

- Edmond -


On Tue, 01 Mar 2011 19:26:50 +1100, Lukas Larsson  
<> wrote:

> I thought I fixed this bug in R14B01, see  
> https://github.com/erlang/otp/blob/fa6d9d530ac55dd47eb10fde181084d3886ee83c/lib/hipe/cerl/erl_bif_types.erl  
> for the commit which does it. Are you sure that you are running R14B01?
>
> Lukas
> ----- Original Message -----
> From: "Edmond Begumisa" <>
> To: "Kostis Sagonas" <>
> Cc: 
> Sent: Monday, 28 February, 2011 22:14:13 GMT +01:00 Amsterdam / Berlin /  
> Bern / Rome / Stockholm / Vienna
> Subject: Re: [erlang-questions] Dialyzer HttpPacket Waring (bug?)
>
> On Tue, 01 Mar 2011 07:40:34 +1100, Kostis Sagonas <>
> wrote:
>
>> Edmond Begumisa wrote:
>>> On Tue, 01 Mar 2011 07:10:44 +1100, Edmond Begumisa
>>> <> wrote:
>>>
>>>> Hello all,
>>>>
>>>> I'm using erlang:decode_packet/3 to do some HTTP. When I use the
>>>> http_bin packet type and match the result, Dialyzer keeps warning
>>>> about my HttpString type being invalid indicating that it's expecting
>>>> a string() and not my binary(). Yet the documentation says (and
>>>> tracing confirms) that HttpString = string() | binary()
>>>>
>>>> For example...  {SNIP}
>>
>> Please learn how to submit a proper bug report.  Which OTP version is
>> this?  Which documentation you are looking at?
>
> Oops, forgive me. Not sleeping much :)
>
> OTP: R14B01
> DOC: www.erlang.org/doc/
> OS: Win7 + Ubuntu 9.1 Kernel 2.6.31-14-generic
>
> - Edmond -
>
>> I cannot reproduce it with R14B01.
>> Upgrade to it and your problem will go away.
>>
>> Kostis
>>
>
> Sorry,
>
>
>
>> ________________________________________________________________
>> erlang-questions (at) erlang.org mailing list.
>> See http://www.erlang.org/faq.html
>> To unsubscribe; mailto:
>>
>
>


-- 
Using Opera's revolutionary e-mail client: http://www.opera.com/mail/


More information about the erlang-questions mailing list