anchor.diff:  				  end
                             end
                     end}
  -    end;
  -expr({call,Line,{record_field,_,_,_}=F,As}, Vt, St0) ->
  -    case expand_package(F, St0) of
  -        {error, _} ->
  -	    expr_list([F|As], Vt, St0);
  -        {A, St1} ->
  -	    expr({call,Line,A,As}, Vt, St1)
       end;
   expr({call,Line,F,As}, Vt, St0) ->
       St = warn_invalid_call(Line,F,St0),
  
positive.code: %%    is_gexpr_list(Es, RDs);
  is_gexpr({record_index,_L,_Name,Field}, RDs) ->
      is_gexpr(Field, RDs);
  is_gexpr({record_field,_L,_,_}=M, _RDs) ->
      erl_parse:package_segments(M) =/= error;
  is_gexpr({record_field,_L,Rec,_Name,Field}, RDs) ->
      is_gexpr_list([Rec,Field], RDs);
  is_gexpr({record,L,Name,Inits}, RDs) ->
  
negative.code: gexpr({record_index,Line,Name,Field}, _Vt, St) ->
      check_record(Line, Name, St,
                   fun (Dfs, St1) -> record_field(Field, Name, Dfs, St1) end );
  gexpr({record_field,Line,Rec,Name,Field}, Vt, St0) ->
      {Rvt,St1} = gexpr(Rec, Vt, St0),
      {Fvt,St2} = check_record(Line, Name, St1,
  