[m-dev.] New pretty-printer module

[doug.auclair at logicaltypes.com]

Dear all,

>I've developed the new pretty-printer module and I've come to the
>conclusion that it isn't worth adapting the existing pprint interface
>to fit.  The new printer is shorter, faster, more configurable, and does
>a better job of avoiding overruns.

Does it make sense to have two pretty-printers for Mercury?
Shall pprint be deleted when pretty_printer is added?

Sincerely,
Doug Auclair

--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at csse.unimelb.edu.au
Administrative Queries: owner-mercury-developers at csse.unimelb.edu.au
Subscriptions:          mercury-developers-request at csse.unimelb.edu.au
--------------------------------------------------------------------------