From 663ce94aded2c08fb5cc146fe18eaa6a4448e3ce Mon Sep 17 00:00:00 2001
From: Gabriel Kerneis
Date: Thu, 19 Dec 2013 15:59:55 +0000
Subject: pretty-print: pattern-matching of indexed vectors in Lem output

Lem tuples must be surrounded by parentheses (contrary to OCaml ones).
---
 src/pretty_print.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/pretty_print.ml b/src/pretty_print.ml
index 08eec393..34cfb3b8 100644
--- a/src/pretty_print.ml
+++ b/src/pretty_print.ml
@@ -496,7 +496,7 @@ let rec pp_format_pat_lem (P_aux(p,l)) =
                        ^ "])"
   | P_vector(pats) -> "(P_vector [" ^ list_format "; " pp_format_pat_lem pats ^ "])"
   | P_vector_indexed(ipats) ->
-    "(P_vector [" ^ list_format "; " (fun (i,p) -> string_of_int i ^ ", " ^ pp_format_pat_lem p) ipats ^ "])"
+    "(P_vector_indexed [" ^ list_format "; " (fun (i,p) -> Printf.sprintf "(%d, %s)" i (pp_format_pat_lem p)) ipats ^ "])"
   | P_vector_concat(pats) -> "(P_vector_concat [" ^ list_format "; " pp_format_pat_lem pats ^ "])"
   | P_tup(pats) -> "(P_tup [" ^ (list_format "; " pp_format_pat_lem pats) ^ "])"
   | P_list(pats) -> "(P_list [" ^ (list_format "; " pp_format_pat_lem pats) ^ "])"
-- 
cgit v1.2.3