Hi,<div><br>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.</div>
<div><br></div><div>  git fetch git://<a href="http://github.com/aronisstav/otp.git">github.com/aronisstav/otp.git</a> dialyzer-behaviours</div><div><br></div><div>Stavros</div>