darcs

Issue 1598 task: replace Printer module with third party one

Title task: replace Printer module with third party one
Priority feature Status needs-reproduction
Milestone Resolved in
Superseder Nosy List darcs-devel, dmitry.kurochkin, ertai, kowey
Assigned To
Topics

Created on 2009-09-05.07:37:14 by kowey, last changed 2012-07-02.00:44:20 by gh.

Messages
msg8704 (view) Author: kowey Date: 2009-09-05.07:37:11
This is part of the DarcsLibraries agenda of stripping everything out of Darcs
that isn't about patches or repositories.
 http://wiki.darcs.net/DarcsLibraries

A possible first choice might be Text.PrettyPrint.HughesPJ (pretty).

Please propose answers to:
1. How to ensure compatibility (i.e. that we're not subtly changing on disk
patch representation [I'm assuming we use the printers for that]
2. How to get colour
3. How to have fine-grained control being able to disable colour in certain
contexts, with environment variables for example or just by virtue of printing
to a file

One option might actually be to take *our* printer module and turn in into a
standalone one first and then slowly replace components.

I'm making Nicolas nosy on this, because I think he's commented on this before.

See also issue40 for some fanciness
msg15842 (view) Author: gh Date: 2012-06-30.15:37:43
What is the state of third-party Printer libraries as of now?

Anyone knows an appropriate one? Shoot your proposals.
msg15845 (view) Author: gh Date: 2012-07-02.00:44:19
A comment from Petr on IRC:

-----8<-----
06:53	mornfall	Re issue 1598: I have picked something for patchlib,
maybe have a look...
06:54		(I.e. patchlib is not using Printer from darcs, but something
from hackage with a few compat things...)
----->8-----

See http://repos.mornfall.net/patchlib/Text/PrettyPrint.hs

g.
History
Date User Action Args
2009-09-05 07:37:14koweycreate
2009-09-05 07:40:15koweylinkissue40 superseder
2009-10-23 22:40:24adminsetnosy: + nicolas.pouillard, - ertai
2009-10-24 00:05:23adminsetnosy: + ertai, - nicolas.pouillard
2012-06-30 15:37:44ghsetmessages: + msg15842
2012-07-02 00:44:20ghsetmessages: + msg15845