[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

                                                 Jan 'Bulb' Hudec 

reply via email to

[Prev in Thread] Current Thread [Next in Thread]