anchor.diff:  
   succ_typings(State, Plt, Output, Apps) ->
       ?INFO("Doing success typing analysis...", []),
  -    {Files, Warnings} = apps_to_files(Apps),
  -    Warnings2 = format_warnings(Output, Warnings),
  +    Files = apps_to_files(Apps),
       ?INFO("Analyzing ~b files with ~p...", [length(Files), Plt]),
       Opts = [{analysis_type, succ_typings},
               {get_warnings, true},
               {from, byte_code},
               {files, Files},
               {init_plt, Plt}],
  -    {Warnings3, State2} = run_dialyzer(State, Opts, Output),
  -    {Warnings2 + Warnings3, State2}.
  +    run_dialyzer(State, Opts, Output).
   
   apps_to_files(Apps) ->
       ?INFO("Resolving files...", []),
  -    Result = [{Files, Warnings} ||
  -              App <- Apps,
  -              {Files, Warnings} <- [app_to_files(App)]],
  -    Files = [File || {Files, _} <- Result, File <- Files],
  -    Warnings = [Warning || {_, Warnings} <- Result, Warning <- Warnings],
  -    {Files, Warnings}.
  +    [File || App <- Apps,
  +             File <- app_to_files(App)].
   
   app_to_files(App) ->
       AppName = ec_cnv:to_atom(rebar_app_info:name(App)),
  -    {_, Files, Warnings} = app_name_to_info(AppName),
  -    {Files, Warnings}.
  +    app_files(AppName).
   
   run_dialyzer(State, Opts, Output) ->
       %% dialyzer may return callgraph warnings when get_warnings is false
  
positive.code:     io_lib:format("Error in dialyzing apps: ~s", [Error]);
  format_error({dialyzer_warnings, Warnings}) ->
      io_lib:format("Warnings occured running dialyzer: ~b", [Warnings]);
  format_error({output_file_error, File, Error}) ->
      Error1 = file:format_error(Error),
      io_lib:format("Failed to write to ~s: ~s", [File, Error1]);
  
negative.code:             ?PRV_ERROR({error_processing_apps, Error});
          throw:{dialyzer_warnings, Warnings} ->
              ?PRV_ERROR({dialyzer_warnings, Warnings});
          throw:{unknown_application, _} = Error ->
              ?PRV_ERROR(Error);
          throw:{output_file_error, _, _} = Error ->
              ?PRV_ERROR(Error)
      after
  