Here is a small Camlp4 filter removing exhaustive patterns. It obviously depends on 3.12.<div><br></div><div><div>  open Camlp4.PreCast;;</div><div>  </div><div>  let filter =</div><div>    function</div><div>    | &lt;:patt@_loc&lt; { $p$ } &gt;&gt; -&gt;</div>

<div>      let rec clean = function</div><div>        | &lt;:patt&lt; _ ; $p$ &gt;&gt; | &lt;:patt&lt; $p$; _ &gt;&gt; -&gt; clean p</div><div>        | &lt;:patt@_loc&lt; $p1$; $p2$ &gt;&gt; -&gt; &lt;:patt&lt; $clean p1$; $clean p2$ &gt;&gt;</div>

<div>        | p -&gt; p in</div><div>      &lt;:patt&lt; { $clean p$ } &gt;&gt;</div><div>    | t -&gt; t</div><div>  ;;</div><div>  </div><div>  AstFilters.register_str_item_filter (Ast.map_patt filter)#str_item;;</div>

<div>  </div><div>  </div><div>  (*</div><div>  #step I used to compile and test the code from a freshly compiiled (but not installed) ocaml-3.12 beta :</div><div>  #I build using fastworld.sh (see INSTALL) then `cd _build`</div>

<div>  ../byterun/ocamlrun -I otherlibs/unix/ camlp4/camlp4orf.byte /tmp/<a href="http://exhaustive_record_stripper.ml">exhaustive_record_stripper.ml</a> -o /tmp/<a href="http://stripper.ml">stripper.ml</a></div><div>  ../byterun/ocamlrun ./ocamlc -I stdlib -I camlp4 /tmp/<a href="http://stripper.ml">stripper.ml</a> -c</div>

<div>   ../byterun/ocamlrun -I otherlibs/unix/ camlp4/camlp4o.byte /tmp/stripper.cmo -str &#39;fun {a; b; _} -&gt; c&#39;</div><div>  #output : fun { a = a; b = b } -&gt; c</div><div>  *)</div></div><div><br></div><div><br>

</div><div>Notes :</div><div>- that the OCaml printer expand sugared { a; b } patters into { a = a; b = b } is necessary for printing backward-compatible code; I&#39;m not sure it&#39;s a good idea to rely on this.</div>
<div>
- as with every camlp4 filters, the code is parsed then pretty-printed; do not expect indentation to stay as is. Comment placement is also going to do weird things (know and nearly-unfixable camlp4 defect) : ocamldoc may not work properly on the output code.</div>