From be04b1536fe250e8f761701f9e99650bede608d6 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Tue, 3 Dec 2019 00:50:29 +0100
Subject: Improving printing of or-patterns.

---
 printing/ppconstr.ml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'printing/ppconstr.ml')

diff --git a/printing/ppconstr.ml b/printing/ppconstr.ml
index 2da163b8ee..b55a41471a 100644
--- a/printing/ppconstr.ml
+++ b/printing/ppconstr.ml
@@ -275,7 +275,7 @@ let tag_var = tag Tag.variable
         pr_reference r, latom
 
       | CPatOr pl ->
-        let pp = pr_patt mt (lpator,Any) in
+        let pp p = hov 0 (pr_patt mt (lpator,Any) p) in
         surround (hov 0 (prlist_with_sep pr_spcbar pp pl)), lpator
 
       | CPatNotation ((_,"( _ )"),([p],[]),[]) ->
@@ -304,7 +304,8 @@ let tag_var = tag Tag.variable
     spc() ++ hov 4
       (pr_with_comments ?loc
          (str "| " ++
-            hov 0 (prlist_with_sep pr_spcbar (prlist_with_sep sep_v (pr_patt ltop)) pl
+            hov 0 (prlist_with_sep pr_spcbar
+                     (fun p -> hov 0 (prlist_with_sep sep_v (pr_patt ltop) p)) pl
                    ++ str " =>") ++
             pr_sep_com spc (pr ltop) rhs))
 
-- 
cgit v1.2.3