[erlang-questions] Status of map pair support in dialyzer

isaac stone <>
Fri Mar 4 05:47:45 CET 2016

I noticed today that dialyzer was failing to catch errors.

Research led me to a previous question on this mailing list where José
quoted a note in the typespec reference
<http://erlang.org/doc/reference_manual/typespec.html> stating "No type
information of maps pairs, only the containing map types, are used by
Dialyzer in OTP 17."

2 Questions:
 - is this also true in OTP 18
 - is there somewhere I can track and/or contribute to this issue?

(sorry if duplicate - seems my question did not go through yesterday)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-questions/attachments/20160303/a39ef053/attachment.html>

More information about the erlang-questions mailing list