anchor.diff:    RootName = filename:basename(filename:rootname(File)),
     Ext = filename:extension(File),
     TyperAnnDir = filename:join(Dir, ?TYPER_ANN_DIR),
  -  TmpNewFilename = lists:concat([RootName,".ann",Ext]),
  +  TmpNewFilename = lists:concat([RootName, ".ann", Ext]),
     NewFileName = filename:join(TyperAnnDir, TmpNewFilename),
     case file:make_dir(TyperAnnDir) of
       {error, Reason} ->
  
positive.code:       typer_map:lookup(File, Analysis#typer_analysis.inc_func)
    end.
  
  normalize_incFuncs(Funcs) ->
    [FuncInfo || {_FileName, FuncInfo} <- Funcs].
  
  -spec remove_module_info([func_info()]) -> [func_info()].
  
  remove_module_info(FuncInfoList) ->
    F = fun ({_,module_info,0}) -> false;
  	  ({_,module_info,1}) -> false;
  	  ({Line,F,A}) when is_integer(Line), is_atom(F), is_integer(A) -> true
        end,
    lists:filter(F, FuncInfoList).
  
  write_typed_file(File, Info) ->
    io:format("      Processing file: ~p\n", [File]),
  
negative.code:       {value, List} -> List
      end,
    CodeServer = Analysis#typer_analysis.code_server,
    TypeInfoList = [get_type(I, CodeServer, Records) || I <- TypeInfo],
    typer_map:from_list(TypeInfoList).
  
  get_type({{M, F, A} = MFA, Range, Arg}, CodeServer, Records) ->
    case dialyzer_codeserver:lookup_mfa_contract(MFA, CodeServer) of
      error ->
        {{F, A}, {Range, Arg}};
  