fix printing of prefix operator applications

Jeremie Dimino · Jeremie Dimino · commit 7245742974db · 2016-02-25T10:33:28.000Z
Fix printing of prefix operator applications with multiple arguments
and/or labelled arguments.

Old output (invalid syntax):

  ! 1 2 3
  ! ~a:42

New output:

  (!) 1 2 3
  (!) ~a:42
diff --git a/parsing/pprintast.ml b/parsing/pprintast.ml
@@ -518,10 +518,11 @@ class printer  ()= object(self:'self)
                 else s
             in
             (match l with
-            |[v] -> pp f "@[<2>%s@;%a@]" s self#label_x_expression_param v
-            | _ -> pp f "@[<2>%s@;%a@]" s
-                      (self#list self#label_x_expression_param) l
-                   (*FIXME assert false*)
+            | [(Nolabel, _) as v] ->
+              pp f "@[<2>%s@;%a@]" s self#label_x_expression_param v
+            | _ ->
+              pp f "@[<2>%a %a@]" self#simple_expr e
+                (self#list self#label_x_expression_param) l
             )
           | _ ->
             pp f "@[<hov2>%a@]" begin fun f (e,l) ->
