SCM Repository
Annotation of /sml/trunk/src/smlnj-lib/PP/README
Parent Directory
| 
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 |
