[erlang-bugs] Dialyzer Documentation

Kostis Sagonas <>
Fri Apr 9 13:39:59 CEST 2010


Roberto Aloi wrote:
> Hi all,
> 
> in:
> 
> http://www.erlang.org/doc/man/dialyzer.html
> 
> The correct analysis types should be:
> 
> {analysis_type,  'succ_typings' | 'plt_add' | 'plt_build' | 'plt_check'
> | 'plt_remove'}
> 
> rather than:
> 
> {analysis_type,  'success_typings' | 'plt_add' | 'plt_build' |
> 'plt_check' | 'plt_remove'}

A fix for this has been pushed to git:

http://github.com/kostis/otp/commit/3d5677439f9cdb87807530c181a4388e3dfc6aea

and will hopefully also appear soon on the 'dev' branch of Erlang/OTP.

Thanks for reporting this!

Kostis


More information about the erlang-bugs mailing list