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

José Valim jose.valim@REDACTED
Mon Jan 5 23:43:58 CET 2015

Hello everyone,

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


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*
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>

More information about the erlang-questions mailing list