anchor.diff:       Include warnings about behaviour callbacks which drift from the published
        recommended interfaces.
     -Wunderspecs ***
  -     Warn about underspecified functions 
  +     Warn about underspecified functions
        (those whose -spec is strictly more allowing than the success typing).
   
   The following options are also available but their use is not recommended:
   (they are mostly for Dialyzer developers and internal debugging)
     -Woverspecs ***
  -     Warn about overspecified functions 
  +     Warn about overspecified functions
        (those whose -spec is strictly less allowing than the success typing).
     -Wspecdiffs ***
        Warn when the -spec is different than the success typing.
  
positive.code:   put(dialyzer_options_report_mode, verbose),
    cl(T);
  cl(["-W"|_]) ->
    error("-W given without warning");
  cl(["-Whelp"|_]) ->
    help_warnings();
  cl(["-W"++Warn|T]) ->
    append_var(dialyzer_warnings, [list_to_atom(Warn)]),
    cl(T);
  cl(["--dump_callgraph"]) ->
    error("No outfile specified for --dump_callgraph");
  cl(["--dump_callgraph", File|T]) ->
    put(dialyzer_callgraph_file, File),
    cl(T);
  
negative.code: 
  -module(dialyzer_cl_parse).
  
  -export([start/0, get_lib_dir/1]).
  -export([collect_args/1]).	% used also by typer
  
  -include("dialyzer.hrl").
  
  