anchor.diff:  	 files      = []		 :: files(),   % absolute names
   	 plt        = none		 :: 'none' | file:filename(),
   	 no_spec    = false              :: boolean(),
  +	 show_succ  = false              :: boolean(),
   	 %% For choosing between specs or edoc @spec comments
   	 edoc       = false		 :: boolean(),
   	 %% Files in 'fms' are compilable with option 'to_pp'; we keep them
  
positive.code: cl(["--show"|Opts]) -> {{mode, ?SHOW}, Opts};
  cl(["--show_exported"|Opts]) -> {{mode, ?SHOW_EXPORTED}, Opts};
  cl(["--show-exported"|Opts]) -> {{mode, ?SHOW_EXPORTED}, Opts};
  cl(["--annotate"|Opts]) -> {{mode, ?ANNOTATE}, Opts};
  cl(["--annotate-inc-files"|Opts]) -> {{mode, ?ANNOTATE_INC_FILES}, Opts};
  cl(["--no_spec"|Opts]) -> {no_spec, Opts};
  
negative.code:       {value, List} -> List
      end,
    CodeServer = Analysis#analysis.codeserver,
    TypeInfoList =
      case Analysis#analysis.show_succ of
        true ->
  	[convert_type_info(I) || I <- TypeInfo];
        false ->
  	[get_type(I, CodeServer, Records) || I <- TypeInfo]
      end,
    map__from_list(TypeInfoList).
  
  convert_type_info({{_M, F, A}, Range, Arg}) ->
    {{F, A}, {Range, Arg}}.
  
  get_type({{M, F, A} = MFA, Range, Arg}, CodeServer, Records) ->
    case dialyzer_codeserver:lookup_mfa_contract(MFA, CodeServer) of
  