[erlang-patches] Discrepancy detection in behaviours

[Stavros Aronis]

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 dialyzer-behaviours

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