[darcs-users] Replace src/Printer.lhs with an external library?

Trent W. Buck trentbuck at gmail.com
Thu Mar 26 12:47:35 UTC 2009


Eric Kow <kowey at darcs.net> writes:

> On Thu, Mar 26, 2009 at 10:01:51 +0100, Nicolas Pouillard wrote:
>> I think that one advantage of Darcs' printer was performances, some minor
>> others are colors, escapings, and tunable policies.
>
> Would it make sense to turn this into a general purpose library of our
> own?  Would anybody else have a use for this?  Ian wrote large chunks of
> this (at least the ColorPrinter module, if I remember), maybe he would
> be inclined to comment, for example, on the feasibility of a general
> printer library that darcs and camp could share?

Dunno if it's relevant, but there are a couple of problems with colour
at the moment:

  #1083  DARCS_DO_COLOR_LINES=True fights with \XX escape color
  #1339  DARCS_DO_COLOR_LINES=True darcs rollback --edit injects ^



More information about the darcs-users mailing list