An ugly-printer is a PrettyPrinter that produces ugly output. For some applications ugly-printers can be useful.

The tool pp-aterm implements a generic ugly-printer for ATerms. It is part of the ATermTools. It transforms an ATerm to an AST in the BoxLanguage. This Box term is pretty printed to text with the GPP package.

-- MartinBravenboer - 27 Feb 2003


CategoryPrettyPrint?

Revision: r1.5 - 13 Feb 2004 - 09:02 - MartinBravenboer
Copyright © 1999-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback