anchor.diff:      %% case is_element(S, Bvs) or lfe_env:is_vbound(S, Env) of
       case ordsets:is_element(S, Bvs) or le_hasv(S, Env) of
           true -> St;
  -        false -> add_error(L, {unbound_symb,S}, St)
  +        false -> add_error(L, {unbound_symbol,S}, St)
       end;
   pat_bit_size(_, _, _, _, _, L, St) -> illegal_bitsize_error(L, St).
   
  
positive.code:                   [F,Ar,M1,M2]);
  format_error({define_imported_function,{F,Ar}}) ->
      lfe_io:format1(<<"defining imported function ~w/~w">>, [F,Ar]);
  %% Others
  format_error({illegal_literal,Lit}) ->
      lfe_io:format1(<<"illegal literal value ~w">>, [Lit]);
  
negative.code: check_func_spec(Func, Specs, L, St0) ->
      {Ar,St1} = check_func_name(Func, L, St0),
      case lfe_types:check_func_spec_list(Specs, Ar, St1#lfe_lint.records) of
          {ok,Tvss} ->
              check_type_vars_list(Tvss, L, St1);
          {error,Error,Tvss} ->
              St2 = add_error(L, Error, St1),
  