anchor.diff:        {value, List} -> List
       end,
     CodeServer = Analysis#analysis.codeserver,
  -  TypeInfoList = [get_type(I, CodeServer, Records) || I <- TypeInfo],
  +  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
  
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:   {Args, Analysis#analysis{includes = NewVal}};
  analyze_result({plt, Plt}, Args, Analysis) ->
    {Args, Analysis#analysis{plt = Plt}};
  analyze_result(show_succ, Args, Analysis) ->
    {Args, Analysis#analysis{show_succ = true}};
  analyze_result(no_spec, Args, Analysis) ->
    {Args, Analysis#analysis{no_spec = true}}.
  
  