diff options
| author | Gabriel Kerneis | 2014-05-01 13:28:53 +0100 |
|---|---|---|
| committer | Gabriel Kerneis | 2014-05-12 16:45:54 +0100 |
| commit | 242bcdc7cc2ae71c6c9c25dcc89f65db1c82d557 (patch) | |
| tree | 40ae19f5d874c056a393d121b80e320589131816 /src/pprint/CHANGES | |
| parent | 314205cc12f9872b5c11ca76d4eb74a12d85cda7 (diff) | |
Import pprint library
Diffstat (limited to 'src/pprint/CHANGES')
| -rw-r--r-- | src/pprint/CHANGES | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/src/pprint/CHANGES b/src/pprint/CHANGES new file mode 100644 index 00000000..69747a41 --- /dev/null +++ b/src/pprint/CHANGES @@ -0,0 +1,27 @@ +2014/04/11 +Changed the behavior of [align], which was not consistent with its documentation. +[align] now sets the indentation level to the current column. In particular, this +means that [align (align d)] is equivalent to [align d], which was not the case +previously. Thanks to Dmitry Grebeniuk for reporting this issue. + +2014/04/03 +The library is now extensible (in principle). A [custom] document constructor +allows the user to define her own documents, as long as they fit the manner +in which the current rendering engine works. + +The [compact] rendering engine is now tail-recursive too. + +2014/03/21 +Minor optimisation in the smart constructor [group]. + +2014/03/13 +New (simpler) pretty-printing engine. The representation of documents in +memory is slightly larger; document construction is perhaps slightly slower, +while rendering is significantly faster. (Construction dominates rendering.) +The rendering speed is now guaranteed to be independent of the width +parameter. The price to pay for this simplification is that the primitive +document constructors [column] and [nesting] are no longer supported. The +API is otherwise unchanged. + +2013/01/31 +First official release of PPrint. |
