Coq printers: fixed missing parentheses in patterns

parent 0f417be4
...@@ -163,8 +163,9 @@ let rec print_pat info fmt p = match p.pat_node with ...@@ -163,8 +163,9 @@ let rec print_pat info fmt p = match p.pat_node with
| Papp (cs,pl) -> | Papp (cs,pl) ->
begin match query_syntax info.info_syn cs.ls_name with begin match query_syntax info.info_syn cs.ls_name with
| Some s -> syntax_arguments s (print_pat info) fmt pl | Some s -> syntax_arguments s (print_pat info) fmt pl
| _ -> fprintf fmt "%a %a" | _ when pl = [] -> print_ls fmt cs
print_ls cs (print_list space (print_pat info)) pl | _ -> fprintf fmt "(%a %a)"
print_ls cs (print_list space (print_pat info)) pl
end end
let print_vsty_nopar info fmt v = let print_vsty_nopar info fmt v =
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment