<html>
<head>
<meta content="text/html; charset=ISO-8859-1"
http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
On 11/18/2011 03:26 PM, Stavros Aronis wrote:
<blockquote
cite="mid:CABOX0Z8uwC4u-YLhPqsb8W5-r-mkKHM5DiuiP3F4mo-BD5nrJw@mail.gmail.com"
type="cite">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 moz-do-not-send="true"
href="http://github.com/aronisstav/otp.git">github.com/aronisstav/otp.git</a>
dialyzer-behaviours</div>
<div><br>
</div>
<div>Stavros</div>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">_______________________________________________
erlang-patches mailing list
<a class="moz-txt-link-abbreviated" href="mailto:erlang-patches@erlang.org">erlang-patches@erlang.org</a>
<a class="moz-txt-link-freetext" href="http://erlang.org/mailman/listinfo/erlang-patches">http://erlang.org/mailman/listinfo/erlang-patches</a>
</pre>
</blockquote>
Thank you Stavros.<br>
<br>
included<br>
<br>
<pre class="moz-signature" cols="72">--
/Henrik Nord Erlang/OTP</pre>
</body>
</html>