anchor.diff:              TS = erl_types:t_to_string(T),
               case erl_types:t_is_opaque(T) of
                   true  -> fmt("~!Wan opaque term of type ~!!~s~!W is"
  -                                " expected", [TS]);
  +                             " expected", [TS]);
                   false -> fmt("~!Wa structured term of type ~!!~s~!W is"
  -                                " expected", [TS])
  +                             " expected", [TS])
               end;
           [_,_|_] -> fmt("~!Wterms of different types are expected in these"
  -                          " positions", [])
  +                       " positions", [])
       end.
   
   form_position_string(ArgNs) ->
  
positive.code:                         " are ~!!~s\n", [SigArgs]);
                  false ->
                      fmt("~!Wwill never return since it differs in the~!!"
                             " ~s ~!Wargument from the success typing"
                             " arguments:~!! ~s\n",
                             [PositionString, good_arg(ArgNs, SigArgs)])
              end;
          only_contract ->
              case (ArgNs =:= []) orelse IsOverloaded of
  
negative.code: -module(rebar_dialyzer_format).
  
  -include("rebar.hrl").
  
  -export([format/1]).
  
  -define(NR, "\033[0;31m").
  -define(NG, "\033[0;32m").
  