anchor.diff:  
   bit_size(all, {Ty,_,_,_}, _, L, St, _) ->
       if Ty =:= binary -> St;
  -       true -> add_error(L, illegal_bitsize, St)
  +       true -> illegal_bitsize_error(L, St)
       end;
   bit_size(undefined, {Ty,_,_,_}, _, L, St, _) ->
       if Ty =:= utf8; Ty =:= utf16; Ty =:= utf32 -> St;
  -       true -> add_error(L, illegal_bitsize, St)
  +       true -> illegal_bitsize_error(L, St)
       end;
   bit_size(Sz, _, Env, L, St, Check) -> Check(Sz, Env, L, St).
   
  
positive.code: 
  %% We do a lot of quoting!
  -define(Q(E), [quote,E]).
  
  -record(lint, {module=[],                       %Module name
                 exps=[],                         %Exports
                 imps=[],                         %Imports
                 pref=[],                         %Prefixes
                 funcs=[],                        %Defined functions
                 types=[],                        %Known types
                 specs=[],                        %Known func specs
                 env=[],                          %Top-level environment
                 lline=[],                        %Last line
                 func=[],                         %Current function
                 file="nofile",                   %File name
                 opts=[],                         %Compiler options
  
negative.code: 
  check_record_def(Name, Fds, L, St) when is_atom(Name) ->
      check_foreach(fun (Fd, S) -> check_record_field(Fd, L, S) end,
                    fun (S) -> bad_record_error(L, Name, S) end,
                    St, Fds);
  check_record_def(Name, _, L, St) ->
      bad_record_error(L, Name, St).
  
  check_record_field([F,D,T], L, St0) ->
      St1 = check_record_field([F,D], L, St0),
      case lfe_types:check_type_def(T, St1#lint.types, []) of
          {ok,Tvs} -> check_type_vars(Tvs, L, St1);
          {error,Error,Tvs} ->
              St2 = add_error(L, Error, St1),
              check_type_vars(Tvs, L, St2)
      end;
  check_record_field([F,_D], L, St) ->            %No need to check default value
      check_record_field(F, L, St);
  check_record_field(F, L, St) ->
      if is_atom(F) -> St;
  