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