[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Gnu-arch-users] [BUG] Untagged files should always be warning
From: |
Miles Bader |
Subject: |
Re: [Gnu-arch-users] [BUG] Untagged files should always be warning |
Date: |
Sat, 10 Apr 2004 04:12:19 -0400 |
User-agent: |
Mutt/1.3.28i |
On Sat, Apr 10, 2004 at 10:02:12AM +0200, Matthieu Moy wrote:
> So, untagged sources raise an error when you have "untagged-source
> unrecognized" *and* when your tagging method is "explicit". So an untagged
> source will raise only a warning in "tagline" mode, even if you have
> "untagged-source unrecognized" in your =tagging-methods.
No, I think that's wrong -- in tla-tools I use `untagged-source unrecognized'
and a tagging method of `tagline', and a new source file without any tagging
info most definitely causes an error (which I like). As soon as I add a
tagline or an explicit tag, the error goes away.
-Miles
--
I'm beginning to think that life is just one long Yoko Ono album; no rhyme
or reason, just a lot of incoherent shrieks and then it's over. --Ian Wolff
- [Gnu-arch-users] In which case does tla tree-lint issue an error for missing ID ?, Matthieu Moy, 2004/04/06
- Re: [Gnu-arch-users] In which case does tla tree-lint issue an error for missing ID ?, Harald Meland, 2004/04/09
- [Gnu-arch-users] [BUG] Untagged files should always be warning (was: In which case does tla tree-lint issue an error for missing ID ?), Matthieu Moy, 2004/04/09
- 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, 2004/04/09
- Re: [Gnu-arch-users] [BUG] Untagged files should always be warning, Matthieu Moy, 2004/04/10
- Re: [Gnu-arch-users] [BUG] Untagged files should always be warning,
Miles Bader <=
- Re: [Gnu-arch-users] [BUG] Untagged files should always be warning, Matthieu Moy, 2004/04/10
- [Gnu-arch-users] Re: [BUG] Untagged files should always be warning, Miles Bader, 2004/04/12
- Re: [Gnu-arch-users] Re: [BUG] Untagged files should always be warning, Matthieu Moy, 2004/04/12
- Re: [Gnu-arch-users] Re: [BUG] Untagged files should always be warning, Miles Bader, 2004/04/12
- Re: [Gnu-arch-users] Re: [BUG] Untagged files should always be warning, Matthieu Moy, 2004/04/12
- Re: [Gnu-arch-users] Re: [BUG] Untagged files should always be warning, Aaron Bentley, 2004/04/23