[erlang-questions] A few type-related 18.0 questions

[Tuncer Ayaz]

On Fri, Jun 26, 2015 at 3:47 PM, Olivier BOUDEVILLE wrote:
> Hi,
>
> Using 18.0, is there a way of specifying to Dialyzer that warnings
> about calls to non-existing functions should be suppressed by
> telling that from outside of the module that is supposed to define
> these functions?

Yes, Hans Bolinder was kind enough to add it on short notice during
the 18.0 cycle.

We use it in rebar, which has to work on anything from R13B03 to 18.0.
https://github.com/rebar/rebar/blob/6cc18c931c/src/rebar_utils.erl#L75:

-dialyzer({no_missing_calls, escript_foldl/3}).

This tells Dialyzer to ignore calls to unknown functions when
analyzing escript_foldl/3.

Does this work for you?