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:     {[{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, VarTable, State) -> {Segs,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.
  
  
negative.code:             {{var,L,V1},[V|Pvs],Vt1,St1}
      end.
  
  %% to_pat_map_pairs(MapPairs, LineNumber, PatVars, VarTable, State) ->
  %%     {Args,PatVars,VarTable,State}.
  
  to_pat_map_pairs([K,V|Ps], L, Pvs0, Vt0, St0) ->
      {Ek,Pvs1,Vt1,St1} = to_pat(K, L, Pvs0, Vt0, St0),
      {Ev,Pvs2,Vt2,St2} = to_pat(V, L, Pvs1, Vt1, St1),
  