-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 On Sun, Dec 28, 2008 at 4:28 PM, Jean-Philippe Bernardy wrote: -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (GNU/Linux)
iEYEAREKAAYFAklYF/EACgkQvpDo5Pfl1oKr5QCfd2MQCu1E0tvKhNrKd4seaxqy qJgAnAykGIRoS/cPymvAI/6/ioEpF6u8 =ZRfb -----END PGP SIGNATURE----- > > On Sun, Dec 28, 2008 at 10:06 PM, Gwern Branwen <[email protected]> wrote: > >> No, no, I was referring to the argument. 'tokenToText (ReservedOp >> BackSlash) = Just "λ"' is fine as far as it goes, since BackSlash is >> defined a few lines up. But there don't seem to be >> datatypes/constructors for other entities like "&&". I thought >> Token(CharTok, StringTok) might be useful, but they don't look like >> 'CharTok Char' or 'StringTok String' like I would expect them to (so I >> can't pattern-match, say 'tokenToText (StringTok "/=") = Just "≠"'). > > The constructor is Operator. We used to discard the text of the > operator, but nothing > requires to do so. See the Special constructor. > > Cheers, > JP. I see. So looking at it, seemed best to define a Unicodable String type and pattern-match from there. I've sent in 2 patches which contain a large number of equivalences I scrounged together from haskell-mode and Yi.Char.Unicode. It'd be nice if cleverMode could be enabled with annotations as well. -- gwern --~--~---------~--~----~------------~-------~--~----~ Yi development mailing list [email protected] http://groups.google.com/group/yi-devel -~----------~----~----~----~------~----~------~--~---
