[erlang-bugs] Erlang 17 dialyzer issue with queue:queue(T).

Shayan Pooya shayan@REDACTED
Thu Apr 17 22:20:12 CEST 2014


Thanks Kostis.  In the email I was supposed to say
queue:queue(non_neg_integer) or queue:queue().

The commit is using queue (not dict) and still seems like a bug in dialyzer
in Erl 17.

Regards.


On Thu, Apr 17, 2014 at 4:02 PM, Kostis Sagonas <kostis@REDACTED> wrote:

> On 04/17/2014 07:56 PM, Shayan Pooya wrote:
>
>> I wanted to update the code to avoid using this option but I get an
>> error message from dialyzer after updating one of the types from dict()
>> to dict:dict(non_neg_integer) or dict:dict().
>> (error message at the end of this message, the change the results in
>> this error is https://github.com/pooya/disco/commit/f857bde).
>>
>> Which basically says worker_throttle:state() does not match itself.
>>
>
> The type dict:dict is a data structure that maps keys to values.  I.e. it
> needs two type parameters and the 1-ary version of it does not make much
> sense.
>
> Kostis
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-bugs/attachments/20140417/4d7cb062/attachment.htm>


More information about the erlang-bugs mailing list