[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Gnu-arch-users] Re: tagline robustness
From: |
Jan Hudec |
Subject: |
Re: [Gnu-arch-users] Re: tagline robustness |
Date: |
Fri, 22 Aug 2003 11:10:22 +0200 |
User-agent: |
Mutt/1.5.4i |
On Thu, Aug 21, 2003 at 11:09:00AM -0400, Miles Bader wrote:
> On Thu, Aug 21, 2003 at 10:18:41AM +0200, Jan Hudec wrote:
> > Just a note. It looks like taglines getting longer and longer. What
> > about:
> > /* arch-id: body of tag: */
> >
> > Anyway, there already were objections about using "tag" for two
> > different things, so perhaps promoting the term "id" is not a bad idea.
>
> I like that -- `arch-id:' sounds good, and is nice and short.
>
> > (or with quotes and with type etc..., the termination with : is from vim
> > filetype lines)
>
> I don't like that though -- surely a single extra " is not a big deal, and it
> seems much more familiar. Using " makes the id contents look like a string,
> which is widely used as something who's contents are significant, and will
> give the right intuition to most programmers.
>
> So I vote for something like:
>
> /* arch-id: "ID" */
I agree. An extra " is not a big deal. And a bit more space for future
extensions.
-------------------------------------------------------------------------------
Jan 'Bulb' Hudec
<address@hidden>
[Gnu-arch-users] Re: tagline robustness, Juri Linkov, 2003/08/22
- Re: [Gnu-arch-users] Re: tagline robustness, wave++, 2003/08/23
- Re: [Gnu-arch-users] Re: tagline robustness, Juri Linkov, 2003/08/26
- [Gnu-arch-users] Re: tagline robustness, Miles Bader, 2003/08/26
- [Gnu-arch-users] Re: tagline robustness, Juri Linkov, 2003/08/29
- [Gnu-arch-users] Re: tagline robustness, Miles Bader, 2003/08/29