<div dir="ltr">Hello everyone,<div><br></div><div>The <a href="http://www.erlang.org/doc/reference_manual/typespec.html">typespecs</a>¬†documentation says dialyzer does not yet use map pairs information (which is fine). The issue is that it does not describe what are the semantic implications of map pairs in types. To be clear, the following type:</div><div><br></div><blockquote style="margin:0 0 0 40px;border:none;padding:0px"><div>#{foo => any()}</div></blockquote><div><div><div class="gmail_signature"><div><br></div><div>should:</div><div><br></div><div>1) match maps containing only the key foo</div><div>2) match maps containing at least the key foo</div><div><br></div><div>Additionally, what would #{_ => _} mean in any of the schemas above?</div><div><br></div><div><span style="font-size:13px"><div><span style="font-family:arial,sans-serif;font-size:13px;border-collapse:collapse"><b>Jos√© Valim</b></span></div><div><span style="font-family:arial,sans-serif;font-size:13px;border-collapse:collapse"><div><span style="font-family:verdana,sans-serif;font-size:x-small"><a href="http://www.plataformatec.com.br/" style="color:rgb(42,93,176)" target="_blank">www.plataformatec.com.br</a></span></div><div><span style="font-family:verdana,sans-serif;font-size:x-small">Skype: jv.ptec</span></div><div><span style="font-family:verdana,sans-serif;font-size:x-small">Founder and Lead Developer</span></div></span></div></span></div></div></div>
</div></div>