[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