Re: [Gnu-arch-users] Re: tagline robustness

[Jan Hudec]

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>