<div dir="ltr"><div>Thanks Kostis.  In the email I was supposed to say queue:queue(non_neg_integer) or queue:queue().<br><br></div><div>The commit is using queue (not dict) and still seems like a bug in dialyzer in Erl 17.<br>
<br></div><div>Regards.<br></div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Thu, Apr 17, 2014 at 4:02 PM, Kostis Sagonas <span dir="ltr"><<a href="mailto:kostis@cs.ntua.gr" target="_blank">kostis@cs.ntua.gr</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="">On 04/17/2014 07:56 PM, Shayan Pooya wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
I wanted to update the code to avoid using this option but I get an<br>
error message from dialyzer after updating one of the types from dict()<br>
to dict:dict(non_neg_integer) or dict:dict().<br>
(error message at the end of this message, the change the results in<br>
this error is <a href="https://github.com/pooya/disco/commit/f857bde" target="_blank">https://github.com/pooya/<u></u>disco/commit/f857bde</a>).<br>
<br>
Which basically says worker_throttle:state() does not match itself.<br>
</blockquote>
<br></div>
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.<span class="HOEnZb"><font color="#888888"><br>
<br>
Kostis<br>
</font></span></blockquote></div><br></div>