anchor.diff:                                             RecDict, VarDict),
             case GetModRec of
               {error, FieldName} ->
  -              throw({error, io_lib:format("Illegal declaration of ~w#{~w}\n",
  +              throw({error, io_lib:format("Illegal declaration of #~w{~w}\n",
                                             [Name, FieldName])});
               {ok, NewFields} ->
                 {t_tuple(
  
positive.code: %% In late 2008, Manouk Manoukian and Kostis Sagonas added support for
  %% opaque types to the structure-based representation of types.
  %% During February and March 2009, Kostis Sagonas significantly
  %% cleaned up the type representation added spec declarations.
  %%
  %% Author contact: richardc@it.uu.se, tobiasl@it.uu.se, kostis@cs.ntua.gr
  %% ======================================================================
  
negative.code:           case lookup_type(Name, RemDict) of
              {type, {_Mod, Type, ArgNames}} when ArgsLen =:= length(ArgNames) ->
                {NewType, NewCycle, NewRR} =
                  case can_unfold_more(RemType, C) of
                    true ->
                      List = lists:zip(ArgNames, Args),
                      TmpVarDict = dict:from_list(List),
                      {t_from_form(Type, RemDict, TmpVarDict), [RemType|C], []};
                    false ->
  		    {t_any(), C, [RemType]}
                  end,
                {RT, RR} = t_solve_remote(NewType, ET, R, NewCycle),
                RetRR = NewRR ++ RR,
  