anchor.diff:                  race_tags = []          :: [#race_fun{}],
                   %% true for fun types and warning mode
                   race_analysis = false   :: boolean(),
  -                race_warnings = []      :: [dial_warning()]}).
  +                race_warnings = []      :: [dial_race_warning()]}).
   
   %%% ===========================================================================
   %%%
  
positive.code:       catch _:_ -> [?no_label]
        end;
      false -> [ets_tuple_args(MaybeList)]
   end.
  
  ets_list_argtypes(ListStr) ->
    ListStr1 = string:strip(ListStr, left, $[),
  
negative.code: -type race_tag()   :: 'whereis_register' | 'whereis_unregister'
                      | 'ets_lookup_insert' | 'mnesia_dirty_read_write'.
  
  %% The following type is similar to the dial_warning() type but has a
  %% tag which is local to this module and is not propagated to outside
  -type dial_race_warning() :: {race_warn_tag(), file_line(), {atom(), [term()]}}.
  -type race_warn_tag() :: ?WARN_WHEREIS_REGISTER | ?WARN_WHEREIS_UNREGISTER
                        | ?WARN_ETS_LOOKUP_INSERT | ?WARN_MNESIA_DIRTY_READ_WRITE.
  
  -record(beg_clause, {arg        :: var_to_map1(),
                       pats       :: var_to_map1(),
                       guard      :: cerl:cerl()}).
  