[erlang-patches] Discrepancy detection in behaviours
Henrik Nord
henrik@REDACTED
Fri Nov 18 15:38:03 CET 2011
On 11/18/2011 03:26 PM, Stavros Aronis wrote:
> Hi,
>
> 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
> <http://github.com/aronisstav/otp.git> dialyzer-behaviours
>
> Stavros
>
>
> _______________________________________________
> erlang-patches mailing list
> erlang-patches@REDACTED
> http://erlang.org/mailman/listinfo/erlang-patches
Thank you Stavros.
included
--
/Henrik Nord Erlang/OTP
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-patches/attachments/20111118/c9309846/attachment.htm>
More information about the erlang-patches
mailing list