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

[Lukas Larsson]

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" <ebegumisa@REDACTED>
To: "Kostis Sagonas" <kostis@REDACTED>
Cc: erlang-questions@REDACTED
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 <kostis@REDACTED>  
wrote:

> Edmond Begumisa wrote:
>> On Tue, 01 Mar 2011 07:10:44 +1100, Edmond Begumisa  
>> <ebegumisa@REDACTED> 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:erlang-questions-unsubscribe@REDACTED
>


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

________________________________________________________________
erlang-questions (at) erlang.org mailing list.
See http://www.erlang.org/faq.html
To unsubscribe; mailto:erlang-questions-unsubscribe@REDACTED