Re: [Gnu-arch-users] [BUG] Untagged files should always be warning (was: In which case does tla tree-lint issue an error for missing ID ?)

[Miles Bader]

On Sat, Apr 10, 2004 at 12:51:32AM +0200, Matthieu Moy wrote:
> Anyway, with  the strategy "Keep it  simple", I think  tla should just
> decide once and  for all that untagged source is a  warning and not an
> error.
> 
> (Unless  someone can  give  a valid  motivation  to differentiate  the
> two, ...)

I'm entirely confused by the discussion, but certainly I want untagged source
files to be _allowed_ to be an error (if `untagged-source unrecognized' is in
the =tagging-methods file).

-miles
-- 
Saa, shall we dance?  (from a dance-class advertisement)