Dear caml-list,<div><br></div><div>I am pleased to announce that the GADT extension to O&#39;Caml is now complete, apart from camlp4, and ready for testing:</div><div><span class="Apple-style-span" style="font-family: monospace; font-size: medium; white-space: pre-wrap; "><br>
</span></div><div><span class="Apple-style-span" style="font-family: monospace; font-size: medium; white-space: pre-wrap; ">svn checkout <a href="https://yquem.inria.fr/caml/svn/ocaml/branches/gadts">https://yquem.inria.fr/caml/svn/ocaml/branches/gadts</a></span></div>
<div><span class="Apple-style-span" style="font-family: monospace; font-size: medium; white-space: pre-wrap; "><br></span></div><div><span class="Apple-style-span" style="font-family: monospace; font-size: medium; white-space: pre-wrap; "><meta charset="utf-8"><span class="Apple-style-span" style="font-family: arial; white-space: normal; font-size: small; ">You can find more information here:</span></span></div>
<div><span class="Apple-style-span" style="font-family: monospace; font-size: medium; white-space: pre-wrap; "><br></span></div><div><pre style="word-wrap: break-word; "><span class="Apple-style-span" style="white-space: pre-wrap; font-size: medium;"><a href="https://sites.google.com/site/ocamlgadt/">https://sites.google.com/site/ocamlgadt/</a></span></pre>
<pre style="word-wrap: break-word; white-space: pre-wrap; font-family: Times; font-size: medium; "><meta charset="utf-8"><span class="Apple-style-span" style="font-family: Times; white-space: normal; "><pre style="word-wrap: break-word; white-space: pre-wrap; ">
<meta charset="utf-8"><span class="Apple-style-span" style="font-family: arial; white-space: normal; font-size: small; "><div><br></div><div>So please test away!</div><div><br></div><div>Jacques Le Normand</div><div><br></div>
</span></pre></span></pre></div>