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

Kostis Sagonas kostis@REDACTED
Thu Apr 17 22:02:59 CEST 2014


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



More information about the erlang-bugs mailing list