anchor.diff:      case Def of
           ['lambda'|_] -> {yes,add_mbinding(Name, Def, Env),St};
           ['match-lambda'|_] -> {yes,add_mbinding(Name, Def, Env),St};
  -        _ -> {no,add_error({bad_form,macro}, St)}
  +        _ -> no
       end.
   
   %% add_error(Error, State) -> State.
  
positive.code: %% -compile([export_all]).
  
  -import(lfe_env, [new/0,add_fbinding/4,is_fbound/3,
                    add_mbinding/3,is_mbound/2,get_mbinding/2]).
  
  -import(lfe_lib, [is_symb_list/1,is_proper_list/1]).
  
  
negative.code: pass_expand_expr(E, _, St, _) -> {no,E,St}.
  
  %% pass_define_macro([Name,Def], Line, Env, State) ->
  %%     {yes,Env,State} | no.
  %%  Add the macro definition to the environment. We do a small format
  %%  check.
  
  