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. --~--~---------~--~----~------------~-------~--~----~ Yi development mailing list [email protected] http://groups.google.com/group/yi-devel -~----------~----~----~----~------~----~------~--~---
