anchor.diff:              end,
       {Constraints, ParseState3} = lists:foldl(Foldl, {[], ParseState2}, ConstraintList),
       {{bounded_fun, InternalFunType, Constraints}, ParseState3};
  -parse_type({paren_type, _Line, [InnerType]}, Module, ParseState) ->
  +parse_type_({paren_type, _Line, [InnerType]}, Module, ParseState) ->
       parse_type(InnerType, Module, ParseState);
  -parse_type({type, _Line, identifier, L}, _Module, ParseState) when is_list(L) ->
  +parse_type_({type, _Line, identifier, L}, _Module, ParseState) when is_list(L) ->
       {{builtin_type, identifier}, ParseState};
  -parse_type({type, _Line, timeout, L}, _Module, ParseState) when is_list(L) ->
  +parse_type_({type, _Line, timeout, L}, _Module, ParseState) when is_list(L) ->
       {{builtin_type, timeout}, ParseState};
  -parse_type({type, _Line, bitstring, L}, _Module, ParseState) when is_list(L) ->
  +parse_type_({type, _Line, bitstring, L}, _Module, ParseState) when is_list(L) ->
       {{builtin_type, bitstring}, ParseState};
  -parse_type({type, _Line, maybe_improper_list, L}, _Module, ParseState) when is_list(L) ->
  +parse_type_({type, _Line, maybe_improper_list, L}, _Module, ParseState) when is_list(L) ->
       {{builtin_type, maybe_improper_list}, ParseState};
  -parse_type({type, _Line, TypeName, L}, Module, ParseState) when is_list(L) ->
  +parse_type_({type, _Line, TypeName, L}, Module, ParseState) when is_list(L) ->
       %ct:pal("type1 ~p:~p~n", [Module, TypeName]),
       case tester_parse_state:is_known_type(Module, TypeName, ParseState) of
           true ->
  
positive.code:             ct:pal("potentially unknown type2: ~p~n", [TypeSpecs]),
              unknown
      end;
  parse_type({var, _Line, Atom}, _Module, ParseState) when is_atom(Atom) ->
      {{tuple, {typedef, tester, test_any}}, ParseState};
  parse_type({type, _Line, constraint, _Constraint}, _Module, ParseState) ->
      {{constraint, nyi}, ParseState};
  parse_type({type, _, bounded_fun, [FunType, ConstraintList]}, Module, ParseState) ->
      {InternalFunType, ParseState2} = parse_type(FunType, Module, ParseState),
      Foldl = fun (Constraint, {PartialConstraintList, ParseState2a}) ->
                      {InternalConstraint, ParseState2c} = parse_type(Constraint,
  
negative.code: -module(tester_collect_function_info).
  
  -author('schuett@zib.de').
  -vsn('$Id$ ').
  
  -export([collect_fun_info/4]).
  
  