summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--camlp4/Camlp4/Printers/OCaml.ml5
1 files changed, 3 insertions, 2 deletions
diff --git a/camlp4/Camlp4/Printers/OCaml.ml b/camlp4/Camlp4/Printers/OCaml.ml
index 7175ea869..db6393621 100644
--- a/camlp4/Camlp4/Printers/OCaml.ml
+++ b/camlp4/Camlp4/Printers/OCaml.ml
@@ -416,9 +416,10 @@ module Make (Syntax : Sig.Camlp4Syntax) = struct
pp f "(%a)" o#reset#expr e
| <:expr< - $x$ >> ->
- pp f "@[<2>-@,%a@]" o#expr x
+ (* If you want to remove the space take care of - !r *)
+ pp f "@[<2>-@ %a@]" o#dot_expr x
| <:expr< -. $x$ >> ->
- pp f "@[<2>-.@,%a@]" o#expr x
+ pp f "@[<2>-.@ %a@]" o#dot_expr x (* same note as above *)
| <:expr< [$_$ :: $_$] >> -> o#expr_list_cons False f e
| <:expr@_loc< $lid:n$ $x$ $y$ >> when is_infix n ->
pp f "@[<2>%a@ %s@ %a@]" o#apply_expr x n o#apply_expr y