Original bug ID: 4939
Reporter: furuse
Assigned to: ertai
Status: closed (set by @xavierleroy on 2013-08-31T10:46:15Z)
Resolution: fixed
Priority: normal
Severity: major
Version: 3.11.1
Fixed in version: 3.12.1+dev
Category: -for Camlp4 use https://github.com/ocaml/camlp4/issues
Monitored by: @ygrek "Hendrik Tews"

Bug description

Sorry for submitting small problems repeatedly.

let f ?l:_ () = ()

is rejected by camlp4o. The fix is :

--- a/camlp4/Camlp4Parsers/Camlp4OCamlParser.ml
+++ b/camlp4/Camlp4Parsers/Camlp4OCamlParser.ml
@@ -629,6 +629,8 @@
<:patt< ~ $i$ : ($lid:i$ : $t$) >>
| i = a_OPTLABEL; j = a_LIDENT -> (* ?a:b <> ?a : b *)
<:patt< ? $i$ : ($lid:j$) >>

•    | i = a_OPTLABEL; "_" ->
  

•        <:patt< ? $i$ : (_) >>
     | i = a_OPTLABEL; "("; p = patt; ")" ->
         <:patt< ? $i$ : ($p$) >>
     | i = a_OPTLABEL; "("; p = patt; "="; e = expr; ")" ->