anchor.diff:          msg(debug, "Records ~tp", [Info#info.records], Analysis),
           write_typed_file(File, Info, Analysis)
       end,
  -  lists:foreach(Fun, dict:fetch_keys(Inc#inc.map)).
  +  lists:foreach(Fun, maps:keys(Inc#inc.map)).
   
   show(Analysis) ->
     Fun = fun ({File, Module}) ->
  
positive.code: -define(TYPER_ANN_DIR, "typer_ann").
  
  -type line()      :: non_neg_integer().
  -type fa()        :: {atom(), arity()}.
  -type func_info() :: {line(), atom(), arity()}.
  
  -record(info, {records = maps:new() :: erl_types:type_table(),
                 functions = []       :: [func_info()],
                 types = map__new()   :: map_dict(),
                 edoc = false         :: boolean()}).
  -record(inc, {map = map__new() :: map_dict(), filter = [] :: files()}).
  -type inc() :: #inc{}.
  
  -spec show_or_annotate(analysis()) -> 'ok'.
  
negative.code: write_inc_files(Inc, Analysis) ->
    Fun =
      fun (File) ->
          Val = maps:get(File, Inc#inc.map, none),
          %% Val is function with its type info
          %% in form [{{Line,F,A},Type}]
          Functions = [Key || {Key, _} <- Val],
          Val1 = [{{F,A},Type} || {{_Line,F,A},Type} <- Val],
          Info = #info{types = maps:from_list(Val1),
                       records = maps:new(),
                       %% Note we need to sort functions here!
                       functions = lists:keysort(1, Functions)},
  