[erlang-questions] Maps in typespecs (and dialyzer)

[José Valim]

Hello everyone,

The typespecs <http://www.erlang.org/doc/reference_manual/typespec.html>
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:

#{foo => any()}


should:

1) match maps containing only the key foo
2) match maps containing at least the key foo

Additionally, what would #{_ => _} mean in any of the schemas above?

*José Valim*
www.plataformatec.com.br
Skype: jv.ptec
Founder and Lead Developer
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-questions/attachments/20150105/68ca7c3e/attachment.htm>