anchor.diff:                   defs=[],                       %Defined top-level functions
                    opts=[],                       %Options
                    file=[],                       %File name
  -                 func=[]                        %Current function
  +                 func=[],                       %Current function
  +                 errors=[],                     %Errors
  +                 warnings=[]                    %Warnings
               }).
  +
  +%% Errors.
  +format_error({illegal_code,Code}) ->
  +    lfe_io:format1(<<"illegal ~w code">>, [Code]).
   
   %% module(ModuleForms, CompInfo) ->
   %%     {ok,ModuleName,ASTModule,[Warning]} | {error,[Error],[Warning]}.
  
positive.code: 
  -module(lfe_codegen).
  
  -export([module/2]).
  
  %% -compile(export_all).
  
  
negative.code:     Fdefs = [ comp_record_field(Fdef, Line) || Fdef <- Fields ],
      [make_record_attribute(Name, Fdefs, Line)].
  
  comp_record_field([F,D,T], Line) ->
      {typed_record_field,
       comp_untyped_field([F,D], Line),
       lfe_types:to_type_def(T, Line)};
  comp_record_field(Fd, Line) ->
      comp_untyped_field(Fd, Line).
  
  comp_untyped_field([F,?Q(undefined)], Line) ->
      %% No need for undefined default.
      {record_field,Line,{atom,Line,F}};
  comp_untyped_field([F,D], Line) ->
      {record_field,Line,{atom,Line,F},lfe_trans:to_expr(D, Line)};
  comp_untyped_field(F, Line) ->
      {record_field,Line,{atom,Line,F}}.
  
  -ifdef(NEW_REC_CORE).
  make_record_attribute(Name, Fdefs, Line) ->
  