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

SCM Repository

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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 7 - (view) (download)

1 : monnier 7 *** under construction ***
2 :    
3 :     This is a library for pretty printing. It provides a much richer
4 :     pretty printing model than the Oppen-style pretty printer provided
5 :     by the compiler.
6 :    
7 :     Its implementation is based on one by Pierre Weis (Copyright INRIA 1996),
8 :     which was written in CAML, but there are a number of differences:
9 :    
10 :     1) this pretty printer does not support tabulation boxes yet.
11 :     2) this pretty-printer is functorized over abstract output
12 :     devices and input tokens.
13 :     3) this pretty-printer supports styled text.
14 :     4) this pretty-printer supports both absolute and relative indentation
15 :     modes (the former is necessary for block-structured language
16 :     indentation).
17 :     5) this pretty-printer supports both imperative pretty-printer streams
18 :     and declarative pretty-printing layouts, which can be intermixed.
19 :    
20 :     The main signatures and implementation can be found in the src directory.
21 :     The devices directory has some sample output devices (including one for
22 :     generating layouts in HTML). Someday, the examples directory will have
23 :     some example pretty-printers; for now, you can look in the tests directory.
24 :    
25 :     John Reppy
26 :     Bell Labs, Lucent Technologies
27 :     jhr@research.bell-labs.com
28 :    

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