anchor.diff:      || {A,T} <- Types]}, []}}
       ,
       {attribute, L, export_type, [{attr,0}, {RecName, 0}, {prop, 0}]}
  -    ].
  +    ]).
   
   bad_record_op(L, Fname, Val, R) ->
       {call, L, {remote, L, {atom,L,erlang}, {atom,L,error}},
  
positive.code:     ].
  
  generate_types(L, #state{record=RecName, fields=Fields, types=Types}) ->
      [
      %% Type one, the record!
      {attribute, L, type, {RecName, {type, L, record, [{atom, L, RecName}] }, []}},
      %% Possible attributes
  
negative.code: walk_ast(Acc, [], _TheState) ->
      lists:reverse(Acc);
  %% EOF? Append the Sqerl_Rec abstractions
  walk_ast(Acc, [{eof, Line}=H], TheState) ->
      ASTAddOns = generate_our_functions(Line, TheState),
      walk_ast([H|ASTAddOns] ++ Acc, [], TheState);
  %% Right after the module directive add our exports and behavior directive
  walk_ast(Acc, [{attribute, L, module, Module}=H|T], TheState) ->
  