User-Agent: Mozilla/5.0 (Macintosh; U; Intel Mac OS X 10.6; en-GB; rv:1.9.2.15)
            Gecko/20110303 Thunderbird/3.1.9
MIME-Version: 1.0
References: <4DA5C4E2.8090005@morningstar2.co.uk>           
            <58AFBC3A-4209-4BC0-BB3A-5B14D6B5EFD8@gmail.com>           
            <4DA727A9.2050903@morningstar2.co.uk>           
            <BANLkTi=gG=oWHUaLyExNwQ6WzghSV6JXyQ@mail.gmail.com>           
            <19880.45400.677093.956908@morse.mittelbach-online.de>           
            <BANLkTimfOA8TkQdB0uxtcFTbm3EqzHEAFw@mail.gmail.com>
            <BANLkTi=wyCyZvrjZtvc-gqBSugJuFD0pMQ@mail.gmail.com>
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Message-ID:  <4DADDE63.2010304@morningstar2.co.uk>
Date:         Tue, 19 Apr 2011 20:11:31 +0100
Reply-To: Mailing list for the LaTeX3 project
              <LATEX-L@listserv.uni-heidelberg.de>
Sender: Mailing list for the LaTeX3 project <LATEX-L@listserv.uni-heidelberg.de>
From: Joseph Wright <joseph.wright@MORNINGSTAR2.CO.UK>
Subject: Re: The nature of popping from an empty sequence
To: LATEX-L@listserv.uni-heidelberg.de
In-Reply-To:  <BANLkTi=wyCyZvrjZtvc-gqBSugJuFD0pMQ@mail.gmail.com>
Precedence: list
Status: R

On 19/04/2011 19:19, Bruno Le Floch wrote:
>> I feel like it is not a huge restriction for practical applications,
>> but I may be wrong. I would say that keys should be stored as is, but
>> compared as strings.
> 
> Thinking about it some more, I am wondering: is it more important
> - to distinguish keys which only differ by their catcode, or
> - to allow for any token as a key (e.g. Hef{}feron, which currently
> breaks the delimited argument approach) ?

Hello Bruno,

I'd say that at the very least we should _store_ tokens and not
_strings_. So category codes should be preserved when putting stuff in
or getting them out. After all, sequences might be used for all sorts of
things, and the tokenization may be important.
-- 
Joseph Wright