[erlang-questions] clarify: in Dialyzer why is the Erlang API less complete then the command line api?

Eric Merritt <>
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 <> 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.
>
> Kostis
>



More information about the erlang-questions mailing list