Permalink
Browse files

[CPS_diff] use Pprint for pretty-printing

Way better than Format.
  • Loading branch information...
1 parent ba5baa1 commit 457591ea8f35a97708e716e7e46f313f3b5cd5f3 @raphael-proust committed May 11, 2012
Showing with 1,845 additions and 73 deletions.
  1. +1 −0 .gitignore
  2. +517 −0 pprint/LICENSE
  3. +12 −0 pprint/README
  4. +935 −0 pprint/pprint.ml
  5. +289 −0 pprint/pprint.mli
  6. +8 −5 src/.depend
  7. +69 −59 src/CPS_diff.ml
  8. +3 −3 src/CPS_diff.mli
  9. +8 −1 src/Makefile
  10. +3 −5 src/test.ml
View
@@ -9,3 +9,4 @@
*.cmxa
*.native
*.byte
+src/pprint.ml*
View

Large diffs are not rendered by default.

Oops, something went wrong.
View
@@ -0,0 +1,12 @@
+This is an adaptation of Daan Leijen's [PPrint] library, which itself is based
+on the ideas developed by Philip Wadler in ``A Prettier Printer''. For more
+information about Wadler's and Leijen's work, consult the following references:
+
+ http://www.cs.uu.nl/~daan/pprint.html
+ http://homepages.inf.ed.ac.uk/wadler/papers/prettier/prettier.pdf
+
+The present code was written by François Pottier and Nicolas Pouillard. It is
+in a somewhat rough state: although the internals of the renderer are rather
+well documented, the combinators for building documents could be tidied up and
+better explained. The code is provided as is.
+
Oops, something went wrong.

0 comments on commit 457591e

Please sign in to comment.