-

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4001 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

1 files changed, 5 insertions, 1 deletions

diff --git a/camlp4/etc/pr_r.ml b/camlp4/etc/pr_r.ml
index f57dd01ae4..00055b4d2b 100644
--- a/camlp4/etc/pr_r.ml
+++ b/camlp4/etc/pr_r.ml
@@ -1485,7 +1485,11 @@ pr_patt.pr_levels :=
                `ctyp t [: `S RO ")"; k :] :]
       | <:patt< ? $i$ : ($p$) >> ->
           fun curr next _ k ->
-            [: `S LO ("?"^ i ^ ":"); `S LO "("; `patt p [: `S RO ")"; k :] :]
+            match p with
+            [ <:patt< $lid:x$ >> when i = x -> [: `S LR ("?" ^ i); k :]
+            | _ ->
+                [: `S LO ("?"^ i ^ ":"); `S LO "("; `patt p [: `S RO ")";
+                   k :] :] ]
       | <:patt< ? $i$ : ($p$ : $t$ = $e$) >> ->
           fun curr next _ k ->
             [: `S LO ("?" ^ i ^ ":"); `S LO "("; `patt p [: `S LR ":" :];