-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 On Sun, Dec 28, 2008 at 11:22 AM, Jean-Philippe Bernardy wrote: -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (GNU/Linux)
iEYEAREKAAYFAklXse0ACgkQvpDo5Pfl1oJJHgCgn3WHBvv78VSah/5aR6GNXC9q vjYAnRRVTNJKDRsjjIrNxpIgG79flqaz =U/n9 -----END PGP SIGNATURE----- > > On Sun, Dec 28, 2008 at 2:04 AM, Gwern Branwen <[email protected]> wrote: >> >> -----BEGIN PGP SIGNED MESSAGE----- >> Hash: SHA512 >> >> So it would be nice if Yi's haskell-mode has Unicodifying as well as >> the current syntax highlighting. >> >> (If you don't know what I mean by this, see: >> http://www.haskell.org/haskellwiki/Haskell_mode_for_Emacs#Unicodifying_symbols_.28Pretty_Lambda_for_Haskell-mode.29 >> http://mult.ifario.us/p/emacs-haskell-mode-unicode-cuteness >> http://www.emacswiki.org/emacs-fr/PrettyLambda ) >> >> But I'm not particularly familiar with Yi's codebase that has to do >> with the actual contents and display. Where would one do this sort of >> functionality? (The way Emacs does it is one is always manipulating >> and working with regular text; just some of the regular text is >> displayed as Unicode symbols.) Would it need to be specific to one UI? > > 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. > I've split it into an infrastructure and example patches to make things easier > to understand. Feel free to extend on the example patch. I've put it > in the "fast haskell" mode > for testing. If we agree on what > we want to display we can put this in the default/all haskell mode. > > Cheers, > JP. I think it'd be nice to have it default (we should by default make haskellMode as powerful as possible), but all the other implementations seem to keep it optional for reasons of reliability (the misleading indenting issue mentioned in some of my links) or simplicity or intuitiveness. -- gwern --~--~---------~--~----~------------~-------~--~----~ Yi development mailing list [email protected] http://groups.google.com/group/yi-devel -~----------~----~----~----~------~----~------~--~---
