From f093aa8719cebbf17e7cbd279fa83376ef9b0bfb Mon Sep 17 00:00:00 2001
From: Gabriel Kerneis
Date: Thu, 15 May 2014 12:39:39 +0100
Subject: Testing pretty-printer

It does not work - infinite loop somewhere
probably when trying to handle precedence.
---
 src/pretty_print.ml | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'src')

diff --git a/src/pretty_print.ml b/src/pretty_print.ml
index 0ade4ff7..c3eb6be2 100644
--- a/src/pretty_print.ml
+++ b/src/pretty_print.ml
@@ -1251,3 +1251,9 @@ let doc_def = function
 
 let doc_defs (Defs(defs)) =
   separate_map hardline doc_def defs
+
+let print ?(len=80) formatter doc =
+  ToFormatter.pretty 1.0 len formatter doc
+
+let pp_defs f d = print f (doc_defs d)
+let pp_exp f e = print f (doc_exp e)
-- 
cgit v1.2.3