[erlang-patches] Discrepancy detection in behaviours

Stavros Aronis <>
Fri Nov 18 15:26:21 CET 2011


This patch enables Dialyzer to detect discrepancies in the implementation
of behaviors. The new warnings regard incorrect treatment of the arguments
passed to the callback, incorrect return values, errors in the specs
provided for the callbacks and also warnings for missing callbacks or
behaviours with no information about their callbacks. Documentation on how
to provide this information is already included in the OTP Design
Principles User's Guide and the existing major behaviors have been already
patched to include such information.

  git fetch git://github.com/aronisstav/otp.git dialyzer-behaviours

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-patches/attachments/20111118/5ebbc0e9/attachment.html>

More information about the erlang-patches mailing list