anchor.diff:  	    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
  +  lists:foreach(Fun, Info#info.functions).
  +
  +get_type_info(Func, Types) ->
  +  case typer_map:lookup(Func, Types) of
       none ->
         %% Note: Typeinfo of any function should exist in
         %% the result offered by dialyzer, otherwise there 
  
positive.code:   RootName = filename:basename(filename:rootname(File)),
    Ext = filename:extension(File),
    TyperAnnDir = filename:join(Dir, ?TYPER_ANN_DIR),
    TmpNewFilename = lists:concat([RootName,".ann",Ext]),
    NewFileName = filename:join(TyperAnnDir, TmpNewFilename),
    case file:make_dir(TyperAnnDir) of
      {error, Reason} ->
  
negative.code: 	    case NewLineNo of
  	      Line ->
  		ok = raw_write(F, A, Info, File, [Ch|Acc]),
  		{Info#info{functions = RestFuncs}, []};
  	      _ ->
  		{Info, [Ch|Acc]}
  	    end,
  