From 73016b299229287958dcef0b679913b1af0d88e1 Mon Sep 17 00:00:00 2001
From: kakadu <kakadu.hafanana@gmail.com>
Date: Tue, 27 Oct 2020 15:24:53 +0300
Subject: [PATCH] Improve pretty-printing of infixes

---
 bench/demo_infix.ml | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/bench/demo_infix.ml b/bench/demo_infix.ml
index 693d7b6ae..2431bef49 100644
--- a/bench/demo_infix.ml
+++ b/bench/demo_infix.ml
@@ -32,7 +32,6 @@ let rewrite_infix s =
       else
         let num c = Char.code c - Char.code '0' in
         let c = Char.chr (num s.[i] * 10 + num s.[i+1]) in
-        (* Printf.printf "Got char '%c'\n" c; *)
         Buffer.add_char b c;
         loop (i+2)
     in
@@ -44,7 +43,11 @@ class my_pp_e pp_decl fself = object
   method! c_Call ppf e f args =
     match f,args with
     | (Var s, [l; r]) when looks_like_infix s ->
-        super#c_Call ppf e (Var (rewrite_infix s)) args                (* CHANGE 1 *)
+        Format.fprintf ppf "@[<h>%a@ %s@ %a@]"
+          fself l
+          (rewrite_infix s)
+          fself r                                                     (* CHANGE 1 *)
+
     | _ -> super#c_Call ppf e f args
 end