anchor.diff:            end,
       lists:foldl(Fun, {Em,St2}, Eks).
   
  -%% to_map_pairs(Pairs, LineNumber, VarTable, State) -> {Fields,State}.
  +%% to_map_pairs(Pairs, FieldType, LineNumber, VarTable, State) ->
  +%%     {Fields,State}.
   
   to_map_pairs([K,V|Ps], Field, L, Vt, St0) ->
       {Ek,St1} = to_expr(K, L, Vt, St0),
  
positive.code:     Fun = fun (S, Pvs0, Vt0, St0) -> to_pat_bitseg(S, L, Pvs0, Vt0, St0) end,
      mapfoldl3(Fun, Pvs, Vt, St, Ss).
  
  to_pat_bitseg([Val|Specs]=Seg, L, Pvs, Vt, St) ->
      case lfe_lib:is_posint_list(Seg) of
          true ->
              {{bin_element,L,{string,L,Seg},default,default},St};
          false ->
              to_pat_bin_element(Val, Specs, L, Pvs, Vt, St)
      end;
  
negative.code:     {[{map_field_exact,L,Ek,Ev}|Eps],Pvs3,Vt3,St3};
  to_pat_map_pairs([], _, Pvs, Vt, St) -> {[],Pvs,Vt,St}.
  
  %% to_pat_bitsegs(Segs, LineNumber, PatVars, VarTable, State) ->
  %%     {Segs,PatVars,VarTable,State}.
  %%  We don't do any real checking here but just assume that everything
  %%  is correct and in worst case pass the buck to the Erlang compiler.
  
  