diff options
| author | Gabriel Kerneis | 2013-12-19 15:59:55 +0000 |
|---|---|---|
| committer | Gabriel Kerneis | 2013-12-19 16:13:08 +0000 |
| commit | 663ce94aded2c08fb5cc146fe18eaa6a4448e3ce (patch) | |
| tree | 88b5cf7627e70fae647542521c502577f5d86c82 /src | |
| parent | 308dd94ea6428d58c810546a1803722f6e4c0eef (diff) | |
pretty-print: pattern-matching of indexed vectors in Lem output
Lem tuples must be surrounded by parentheses (contrary to OCaml ones).
Diffstat (limited to 'src')
| -rw-r--r-- | src/pretty_print.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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) ^ "])" |