[erlang-questions] Status of map pair support in dialyzer
isaac stone
jisaacstone@REDACTED
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.htm>
More information about the erlang-questions
mailing list