Source

ocaml-lib / dcg / pa_dcg.ml

Diff from to

File dcg/pa_dcg.ml

       | s = str ->
           <:patt< _ >>, <:expr< Matcher.look $s$ >>
       | x = ipatt; ff = binding ->
-        x, ff x
+	  x, ff x
+(* does not work because non-empty intersection between patterns and expressions (e.g., identifiers)
+      | p = quantif ->
+	  <:patt< _ >>, p
+*)
       ] ];
  
   binding: