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