anchor.diff:                           foldl(fun ({{F,A},R}, E) ->
                                          lfe_env:add_ibinding(M, F, A, R, E)
                                  end, Env, Fs)
  -                 end, lfe_env:new(), St#lint.imps),
  +                 end, lfe_env:new(), St#lfe_lint.imps),
       %% Basic predefines
       Predefs0 = [{module_info,[lambda,[],?Q(dummy)],1},
                   {module_info,[lambda,[x],?Q(dummy)],1}],
       Exps0 = [{module_info,0},{module_info,1}],
       {Predefs0,Env0,
  -     St#lint{exps=add_exports(Exps0, St#lint.mline, St#lint.exps)}}.
  +     St#lfe_lint{exps=add_exports(Exps0, St#lfe_lint.mline, St#lfe_lint.exps)}}.
   
   %% check_functions(FuncBindings, Env, State) -> {Funcs,Env,State}.
   %%  Check the top-level functions definitions. These have the format
  
positive.code:                 end, St1, Fbs),
      {Fs,Env1,St2}.
  
  %% check_exports(Exports, Funcs, State) -> State.
  
  check_exports(Exps, Fs, St) ->
      Fun = fun (E, L, S) ->
                    case is_element(E, Fs) of
                        true -> S;
                        false -> undefined_func_error(L, E, S)
                    end
            end,
      orddict:fold(Fun, St, Exps).
  
  
negative.code: check_import([from,Mod|Fs], L, St) when is_atom(Mod) ->
      Check = fun ([F,A], Imps, S) when is_atom(F), is_integer(A) ->
                      {orddict:store({F,A}, F, Imps),S};
                  (_, Imps, S) -> {Imps,bad_mdef_error(L, <<"import from">>, S)}
              end,
      check_import(Check, Mod, L, St, Fs);
  check_import([rename,Mod|Rs], L, St) when is_atom(Mod) ->
  