anchor.diff:                 code=[],                         %Code after last pass.
                  return=[],                       %What is returned [Val] | []
                  errors=[],
  -               warnings=[],
  -               docs=[]
  +               warnings=[]
                 }).
   
   %% default_options() -> Options.
  
positive.code: lint_pp(St) -> sexpr_pp(St, "lint").
  
  sexpr_pp(St, Ext) ->
      Save = fun (File, {ok,_,Code,_}) ->
                     lfe_io:prettyprint(File, Code), io:nl(File)
             end,
      do_list_save_file(Save, Ext, St).
  
  %% These print a list of module structures.
  core_pp(St) ->
      Save = fun (File, {ok,_,Core,_}) ->
                     io:put_chars(File, [core_pp:format(Core),$\n])
             end,
      do_list_save_file(Save, "core", St).
  
  erl_core_pp(St) ->
      Save = fun (File, {ok,_,Core,_}) ->
                     io:put_chars(File, [core_pp:format(Core),$\n])
             end,
      do_list_save_file(Save, "core", St).
  
  erl_kernel_pp(St) ->
      Save = fun (File, {ok,_,Kern,_}) ->
                     io:put_chars(File, [v3_kernel_pp:format(Kern),$\n]) end,
      do_list_save_file(Save, "kernel", St).
  
  erl_asm_pp(St) ->
      Save = fun (File, {ok,_,Asm,_}) ->
                     beam_listing:module(File, Asm), io:nl(File) end,
      do_list_save_file(Save, "S", St).
  
  
negative.code:     %% Fix right return.
      ?IF(Return, {error,Err,return_ews(Lfile, Es),return_ews(Lfile, Ws)}, error).
  
  error_return_mod(#module{warnings=Ws}, Rep, _, Lfile) ->
      Rep andalso list_warnings(Lfile, Ws),
      {error,[],return_ews(Lfile, Ws)};           %No errors, only warnings
  error_return_mod({error,Es,Ws}, Rep, _, Lfile) ->
  