Hi,<div><br></div><div>This is a planned extension for Dialyzer. Currently support for parametric types is rather weak (e.g. even a type name can appear only once, regardless of arity, so no dict/0 and dict/2 types can be declared together in the same module). Therefore only the dict/0 type has been defined, hence the error you get.</div><div><br></div><div>If you are already implementing this with a dict, I would suggest that you define the type as:</div><div><br></div><div> -type players :: dict(). %<span style="line-height: 18px; ">dict(mpserver:userid(), mpserver:player()).</span></div><div><span style="line-height: 18px;"><br></span></div><div><span style="line-height: 18px;">... and hope that the commented out version will be supported soon!</span></div><div><span style="line-height: 18px;"><br></span></div><div><span style="line-height: 18px;">Regards,</span></div><div><span style="line-height: 18px;"><br></span></div><div><span style="line-height: 18px;">Stavros<br></span><br>On Wednesday, May 30, 2012 10:39:44 PM UTC+2, Motiejus Jakštys wrote:<blockquote class="gmail_quote" style="margin: 0;margin-left: 0.8ex;border-left: 1px #ccc solid;padding-left: 1ex;">Hi all,<p>let's say I have a proplist of players: userid and player itself:</p><p>-type players() :: list({mpserver:userid(), mpserver:player()}).</p><p>Almost fine, but I know that keys are unique. In that case, it makes<br>sense to use a dict:<br>-type players() :: dict(mpserver:userid(), mpserver:player()).</p><p>This throws "type not found" error. Why is it unsupported? Maybe<br>something similar is supported, but I don't know how? What data<br>structure do you use in this situation, and why? And do you benefit<br>from dialyzer?</p><p>Thanks,<br>Motiejus Jakštys<br>______________________________<wbr>_________________<br>erlang-questions mailing list<br><a href="mailto:erlang-questions@erlang.org" target="_blank">erlang-questions@erlang.org</a><br><a href="http://erlang.org/mailman/listinfo/erlang-questions" target="_blank">http://erlang.org/mailman/<wbr>listinfo/erlang-questions</a><br></p><p></p><p></p><p></p><p></p></blockquote></div>