[erlang-patches] Dialyzer's record field type warnings

Stavros Aronis aronisstav@REDACTED
Fri Nov 30 10:48:37 CET 2012


Sometimes Dialyzer would report violations of the expected types in some
record fields when this was not guaranteed to be the case. This patch fixes
this problem.

  git fetch git://github.com/aronisstav/otp.git dialyzer-record-pattern

Regards,

Stavros
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-patches/attachments/20121130/5b717bb4/attachment.htm>


More information about the erlang-patches mailing list