On Sun, Dec 28, 2008 at 6:05 PM, Gwern Branwen <[email protected]> wrote:
>> I just pushed a patch that implements this. Hopefully it is self-explanatory. >> Otherwise, I'd be happy to comment on it. > > I hope to look at it in more detail later, but at first glance I don't > see any way to replace multiple symbols - ie. tokenToText is fine for > symbols like '\' or '.' or '$', but it seems to operate a token at a > time which renders unclear how to handle '&&' or '>>=' etc. && and >>= etc. are single tokens, so no problem. Cheers, JP. --~--~---------~--~----~------------~-------~--~----~ Yi development mailing list [email protected] http://groups.google.com/group/yi-devel -~----------~----~----~----~------~----~------~--~---
