Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] View of /sml/trunk/src/smlnj-lib/PP/README
ViewVC logotype

View of /sml/trunk/src/smlnj-lib/PP/README

Parent Directory Parent Directory | Revision Log Revision Log


Revision 7 - (download) (annotate)
Sun Jan 18 00:59:30 1998 UTC (21 years, 11 months ago) by monnier
File size: 1194 byte(s)
Initial revision
*** under construction ***

This is a library for pretty printing.  It provides a much richer
pretty printing model than the Oppen-style pretty printer provided
by the compiler.

Its implementation is based on one by Pierre Weis (Copyright INRIA 1996),
which was written in CAML, but there are a number of differences:

  1) this pretty printer does not support tabulation boxes yet.
  2) this pretty-printer is functorized over abstract output
     devices and input tokens.
  3) this pretty-printer supports styled text.
  4) this pretty-printer supports both absolute and relative indentation
     modes (the former is necessary for block-structured language
     indentation).
  5) this pretty-printer supports both imperative pretty-printer streams
     and declarative pretty-printing layouts, which can be intermixed.

The main signatures and implementation can be found in the src directory.
The devices directory has some sample output devices (including one for
generating layouts in HTML).  Someday, the examples directory will have
some example pretty-printers; for now, you can look in the tests directory.

	John Reppy
	Bell Labs, Lucent Technologies
	jhr@research.bell-labs.com


root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0