On Sun, Sep 04, 2005 at 07:19:14PM +0200, Albert Reiner wrote: > [Bill Trost <[EMAIL PROTECTED]>, Sat, 03 Sep 2005 21:05:42 -0700]: > > The darcs' manual's description of the theory of tokens solicits > > practical applications of whitespace within a token. > > Another example: in literate programming, you often want to name > chunks by some text that includes whitespace. E.g., in noweb you > would write > > <<do this>>= > code to do this > @ > > , and logically the chunk name "do this" is like a token. Currently > (using "1.0.3 (release)") you can do the replace by specifying > --token-chars '[^<>]' (which does, of course, break as soon as you > have a chunk name like the perfectly legal "do that if $a>b$"), but > its effect is recorded as a normal line changes.
I started on fixing this many weeks ago, but have been detained by other things until now. It will likely be able to complete it this weekend. -- Tommy Pettersson <[EMAIL PROTECTED]> _______________________________________________ darcs-users mailing list [email protected] http://www.abridgegame.org/mailman/listinfo/darcs-users
