Dialyzer Documentation

Roberto Aloi <>
Fri Apr 9 13:00:33 CEST 2010


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'}

as in the source code (dialyzer_options.erl):

    analysis_type ->
      NewOptions =
	case Value of
	  succ_typings -> Options#options{analysis_type = Value};
	  plt_add      -> Options#options{analysis_type = Value};
	  plt_build    -> Options#options{analysis_type = Value};
	  plt_check    -> Options#options{analysis_type = Value};
	  plt_remove   -> Options#options{analysis_type = Value};
	  dataflow  -> bad_option("Analysis type is no longer supported", Term);
	  old_style -> bad_option("Analysis type is no longer supported", Term);
	  Other     -> bad_option("Unknown analysis type", Other)

Regards,

Roberto Aloi

-- 
University of Kent - Erlang Solutions Ltd.
Twitter: @prof3ta
Blog: http://aloiroberto.wordpress.com
---------------------------------------------------

---------------------------------------------------

WE'VE CHANGED NAMES!

Since January 1st 2010 Erlang Training and Consulting Ltd. has become ERLANG SOLUTIONS LTD.

www.erlang-solutions.com



More information about the erlang-bugs mailing list