anchor.diff:            CheckStack, _ParseState) ->
       case is_function(Value) of
           false ->
  -            {false, [{Value, is_not_a_function, Type} | CheckStack]};
  +            {false, [{Value, no_function, Type} | CheckStack]};
           true ->
               {arity, Arity} = erlang:fun_info(Value, arity),
               case Arity =:= length(ParamTypes) of
  
positive.code:         {record, FieldList} when is_list(FieldList) ->
              check_record_fields(Value, Type, CheckStack, ParseState);
          reference ->
              case is_reference(Value) of
                  true -> {true, CheckStack};
                  false -> {false, [not_a_reference | CheckStack]}
              end;
          tid ->
              % built-in < R14; otherwise ets:tid()
              inner_check(Value, integer, CheckStack, ParseState);
  
negative.code:             check_list_iter(Value, InnerType,
                              [{Value, T} | CheckStack], ParseState, 1);
          false ->
              {false, [{Value, no_list, T} | CheckStack]}
      end;
  check_list(Value, {nonempty_list, InnerType} = T, CheckStack, ParseState) ->
      case is_list(Value) andalso [] =/= Value of
  