anchor.diff:        {value, List} -> List
       end,
     CodeServer = Analysis#typer_analysis.code_server,
  -  TypeInfoList = [get_type(I, CodeServer, RecMap) || I <- TypeInfo],
  +  TypeInfoList = [get_type(I, CodeServer, Records) || I <- TypeInfo],
     typer_map:from_list(TypeInfoList).
   
  -get_type({{M, F, A} = MFA, Range, Arg}, CodeServer, RecMap) ->
  +get_type({{M, F, A} = MFA, Range, Arg}, CodeServer, Records) ->
     case dialyzer_codeserver:lookup_mfa_contract(MFA, CodeServer) of
       error ->
         {{F, A}, {Range, Arg}};
  
positive.code: 	    TypeInfo = get_type_string(F, A, Info, show),
  	    io:format("~s\n", [TypeInfo])
  	end,
    lists:foreach(Fun, Info#info.funcs).
  
  get_type_info(Func, TypeMap) ->
    case typer_map:lookup(Func, TypeMap) of
      none ->
        %% Note: Typeinfo of any function should exist in
        %% the result offered by dialyzer, otherwise there 
  
negative.code:       typer_map:lookup(File, Analysis#typer_analysis.inc_func)
    end.
  
  normalize_incFuncs(Functions) ->
    [FunInfo || {_FileName, FunInfo} <- Functions].
  
  -spec remove_module_info([fun_info()]) -> [fun_info()].
  
  remove_module_info(FunInfoList) ->
    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, FunInfoList).
  
  write_typed_file(File, Info) ->
    io:format("      Processing file: ~p\n", [File]),
  