anchor.diff:  
   check_gargs(Args, Env, L, St) ->
       check_foreach(fun (A, S) -> check_gexpr(A, Env, L, S) end,
  -		  fun (S) -> add_error(L, bad_gargs, S) end,
  -		  St, Args).
  +                  fun (S) -> add_error(L, bad_gargs, S) end,
  +                  St, Args).
   
   check_gexprs(Es, Env, L, St) ->
       foldl(fun (E, S) -> check_gexpr(E, Env, L, S) end, St, Es).
  
positive.code: 
  check_attrs(As, L, St) ->
      check_foreach(fun (A, S) -> check_attr(A, L, S) end,
  		  fun (S) -> bad_mdef_error(L, form, S) end,
  		  St, As).
  
  check_attr([export,all], _, St) ->             %Pass 'all' along
      St#lint{exps=all};
  
negative.code: %% collect_function(Name, Meta, Def, Line, Fbs, State) -> {Fbs,State}.
  %%  Collect function and do some basic checks.
  
  collect_function(Name, Meta, Def, L, Fbs, St0) ->
      St1 = check_fmetas(Meta, L, St0),
      {[{Name,Def,L}|Fbs],St1}.
  
  %% check_fmetas(Metas, Line, State) -> State.
  
  check_fmetas(Ms, L, St) ->
      check_foreach(fun (M, S) -> check_fmeta(M, L, S) end,
                    fun (S) -> bad_form_error(L, 'define-function', S) end,
                    St, Ms).
  
  check_fmeta([doc|Docs], L, St) ->
      ?IF(check_docs(Docs), St, bad_meta_error(L, doc, St));
  %% Need to get arity in here.
  %% check_fmeta([spec|Specs], L, St) ->
  %%     case lfe_types:check_func_spec_list(Specs, Ar, St#lint.types) of
  %%         ok -> St1;
  %%         {error,Error} -> add_error(L, Error, St)
  %%     end;
  check_fmeta([M|Vals], L, St) ->
      ?IF(is_atom(M) and is_proper_list(Vals), St, bad_meta_error(L, M, St));
  check_fmeta(_, L, St) -> bad_fdef_error(L, meta, St).
  
  %% check_docs(Docs) -> boolean().
  
  