Erlang Mailing Lists
Author Message

<  Erlang bugs mailing list  ~  Dialyzer Documentation
prof3ta
Posted: Fri Apr 09, 2010 11:01 am Reply with quote
User Joined: 06 Feb 2009 Posts: 34
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


________________________________________________________________
erlang-bugs (at) erlang.org mailing list.
See http://www.erlang.org/faq.html
To unsubscribe; mailto:erlang-bugs-unsubscribe@erlang.org

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

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

WE'VE CHANGED NAMES!

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

www.erlang-solutions.com

Post received from mailinglist
Back to top View user's profile Send private message
Guest
Posted: Fri Apr 09, 2010 11:41 am Reply with quote
Guest
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

________________________________________________________________
erlang-bugs (at) erlang.org mailing list.
See http://www.erlang.org/faq.html
To unsubscribe; mailto:erlang-bugs-unsubscribe@erlang.org

Post received from mailinglist
Back to top

Display posts from previous:  

All times are GMT
View next topic
View previous topic
Page 1 of 1
Erlang Forum - Trap Exit Forum Index  ~  Erlang bugs mailing list
This forum is locked: you cannot post, reply to, or edit topics.

Jump to:  

You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot vote in polls in this forum
You cannot attach files in this forum
You cannot download files in this forum
Hosted by Erlang Solutions    |    Powered by phpBB and NoseBleed v1.14