anchor.diff:  comp_record_metadata(Recs, Line) ->
       Ann = [Line],
       Rfun = fun ([Name|Fields]) ->
  -		   {Name,[ comp_record_field(Fdef, Ann) || Fdef <- Fields ]}
  -	   end,
  +                   {Name,[ comp_record_field(Fdef, Ann) || Fdef <- Fields ]}
  +           end,
       Rs = [ Rfun(Rec) || Rec <- Recs ],
       {ann_c_lit(Ann, record),ann_c_lit(Ann, Rs)}.
   -else.
   comp_record_metadata(Recs, Line) ->
       Ann = [Line],
       Rfun = fun ([Name|Fields]) ->
  -		   {{record,Name},
  -		    [ comp_record_field(Fdef, Ann) || Fdef <- Fields ]}
  -	   end,
  +                   {{record,Name},
  +                    [ comp_record_field(Fdef, Ann) || Fdef <- Fields ]}
  +           end,
       Rs = [ Rfun(Rec) || Rec <- Recs ],
       {ann_c_lit(Ann, type),ann_c_lit(Ann, Rs)}.
   -endif.
  
positive.code:     {Cv,Vs,Ts,St1};                             %Not added to variables
  pat_symb(Symb, _, Vs, Ts, St0) ->
      case is_element(Symb, Vs) of
  	true ->					%Replace and add test
  	    {New,St1} = new_var(St0),
  	    {c_var(New),Vs,[['=:=',Symb,New]|Ts],St1};
  	false ->				%Just add variable
  	    {c_var(Symb),add_element(Symb, Vs),Ts,St0}
      end.
  
  %% pat_alias(CorePat, CorePat) -> AliasPat.
  
negative.code:             end
      end.
  
  pat_alias_cons(Ccons, Clit) ->
      case lit_val(Clit) of
          [H|T] ->
              %% Must be sure to build a #c_cons{} here
              pat_alias(Ccons, c_cons_skel(c_lit(H), c_lit(T)));
          _ -> throw(nomatch)
      end.
  
  pat_alias_tuple(Ctup, Clit) ->
      case lit_val(Clit) of
          Tup when is_tuple(Tup) ->
              update_c_tuple(Ctup,
                             pat_alias_list(tuple_es(Ctup), data_es(Clit)));
          _ -> throw(nomatch)
      end.
  
  