[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Abbrev should preserve case
From: |
Davis Herring |
Subject: |
Re: Abbrev should preserve case |
Date: |
Wed, 20 Jun 2007 20:47:39 -0700 (PDT) |
User-agent: |
SquirrelMail/1.4.8-6.el3.2lanl |
> How would you tell the difference between `FOO' meaning "expand to the
> upper-case expansion of `foo'" (as it works now), and `FOO' a totally
> separate abbreviation? I guess you could try a case-insensitive match
> first, then a case-sensitive one if it fails. This would mean that
> `FOO' could expand to something different than `foo' only if `foo'
> were not defined as an abbrev. Seems a bit complex though.
Surely you mean do a case-sensitive search first and then insensitive?
Obviously the sensitive one can't work if the insensitive one fails. Then
you go on to say that "FOO" could only be -different- if there is nothing
than which to be different; instead we want to say "`FOO' can only expand
as upcased `foo' if `FOO' is not its own abbrev", right?
I'm not trying to be needlessly pedantic; rather I think what you probably
meant to say made significantly more sense as a path forward than what you
did say and so deserves consideration.
Davis
--
This product is sold by volume, not by mass. If it appears too dense or
too sparse, it is because mass-energy conversion has occurred during
shipping.
Re: Abbrev should preserve case, Richard Stallman, 2007/06/21