[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: defining new character names?
From: |
Lars J. Aas |
Subject: |
Re: defining new character names? |
Date: |
Wed, 21 Aug 2002 10:12:10 +0200 |
User-agent: |
Mutt/1.3.24i |
Keith Wright <address@hidden> wrote:
: > Cc: address@hidden
: > From: Marius Vollmer <address@hidden>
: > "Lars J. Aas" <address@hidden> writes:
: >
: > > I'd like to be able to do something like this:
: > >
: > > (define-character "paren-close" #\051) ; 051 is ")"
: > > and then later
: > > (string-index line #\paren-close)
: >
: > Not currently, but I think it's a good idea.
:
: (A) Only in the context of a general mechanism to define constants.
Yes, that's what I was looking for.
: (B) The double quotes around "paren-close" in the definition
: are surely wrong.
Yes, I wrote "something like" because I don't know what would be
possible for accomplishing this. The most "transparent" solution
would be to allow
(define #\paren-close #\051)
[If the first token looks like a character constant, the second must
be one too?] Would that be possible to implement without any overhead
on the define implementation? Would it break something?
: > > The reason i'd like to do this is that inserting #\) in the
: > > scheme file makes the vim "%" command unusable over those
: > > blocks
: >
: > vim should be fixed then, no? ;)
Hehe, I sensed there was a generic problem below my concrete problem,
hence the mail. If I thought this would only be good for vim-users,
I wouldn't have bothered...
Lars J
- defining new character names?, Lars J. Aas, 2002/08/19
- Re: defining new character names?, Marius Vollmer, 2002/08/19
- Re: defining new character names?, Keith Wright, 2002/08/20
- Re: defining new character names?, Keith Wright, 2002/08/21
- Re: defining new character names?,
Lars J. Aas <=
- Re: defining new character names?, rm, 2002/08/21
- Re: defining new character names?, Matthias Koeppe, 2002/08/21
- Re: defining new character names?, Lars J. Aas, 2002/08/21
- Re: defining new character names?, rm, 2002/08/21
- Re: defining new character names?, Matthias Koeppe, 2002/08/27
Re: defining new character names?, Matthias Koeppe, 2002/08/20