[erlang-questions] clarify: in Dialyzer why is the Erlang API less complete then the command line api?
Thu Dec 13 00:37:41 CET 2007
I will see if I can't get a patch to you to solve this.
On Dec 12, 2007 12:35 PM, Kostis Sagonas <kostis@REDACTED> wrote:
> Eric Merritt wrote:
> > Guys,
> > Dialyzer seems to have a disparity between what options are able to
> > be passed to the Erlang API and what options are able to be passed on
> > the command line. At the very least there is no way to set output-plt
> > in the api like you can on the command line. There may be others that
> > I haven't run into. Granted there are work arounds to this, but
> > shouldn't you be able to do anything in the api that you are able to
> > do on the command line?
> The Dialyzer developers have a habit of rarely using the API -- for some
> reason we use the command line version. So it's quite possible that
> options that were added quite recently to the command-line version were
> not added to the API version of Dialyzer. Their omission is not
> intentional. Thanks for telling us about it. We would appreciate even
> more a patch if indeed you find the API version useful.
More information about the erlang-questions