anchor.diff:      St1 = check_mmetas(Meta, L, St0),
       check_attrs(Atts, L, St1).
   
  -%% check_mmetas(Meta, Line, State) -> State.
  +%% check_mmetas(Metas, Line, State) -> State.
   %%  Only allow docs and type definitions.
   
   check_mmetas(Ms, L, St) ->
       check_foreach(fun (M, S) -> check_mmeta(M, L, S) end,
  -		  fun (S) -> bad_mdef_error(L, form, S) end,
  -		  St, Ms).
  +                  fun (S) -> bad_mdef_error(L, form, S) end,
  +                  St, Ms).
   
   check_mmeta([doc|Docs], L, St) ->
       ?IF(check_docs(Docs), St, bad_meta_error(L, doc, St));
  
positive.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, St) ->
      Valid = is_atom(Name) and check_fmeta(Meta),
      case Def of
          [lambda|_] when Valid ->
              {[{Name,Def,L}|Fbs],St};
          ['match-lambda'|_] when Valid ->
              {[{Name,Def,L}|Fbs],St};
          _ -> {Fbs,bad_form_error(L, 'define-function', St)}
      end.
  
  check_fmeta([[doc|Docs]|Meta]) ->
      check_docs(Docs) andalso check_fmeta(Meta);
  check_fmeta([M|Meta]) -> is_list(M) andalso check_fmeta(Meta);
  check_fmeta([]) -> true;
  check_fmeta(_) -> false.
  
  %% check_docs(Docs) -> boolean().
  
  
negative.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};
  