anchor.diff:          false ->
               #parms{warn = W, line = L, file = File} = P,
               %% true = ets:insert(DT, TypeName),
  -            [type_warning(L, File, "missing type", N, NArgs) || W]
  +            _ = [type_warning(L, File, "missing type", N, NArgs) || W],
  +	    ok
       end.
   
   type_warning(Line, File, S, N, NArgs) ->
  
positive.code: 	true ->
  	    filter_tags(Ts, Tags, Where, [T | Ts1]);
  	false ->
  	    [warning(L, Where, "tag @~s not recognized.", [N]) ||
                  Where =/= no],
  	    filter_tags(Ts, Tags, Where, Ts1)
      end;
  filter_tags([], _, _, Ts) ->
  
negative.code: check_type(#t_def{type = Type}, P, Ls, Ts) ->
      check_type(Type, P, Ls, Ts);
  check_type(#t_type{name = Name, args = Args}, P, Ls, Ts) ->
      check_used_type(Name, Args, P, Ls),
      check_types3(Args++Ts, P, Ls);
  check_type(#t_var{}, P, Ls, Ts) ->
      check_types3(Ts, P, Ls);
  