[erlang-bugs] Erlang 17 dialyzer issue with queue:queue(T).
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.
On Thu, Apr 17, 2014 at 4:02 PM, Kostis Sagonas <> 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
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the erlang-bugs