In case some people feel the need for more context here, the feature that is discussed was explained in a blog post of Alain Frisch:<br>  <a href="http://www.lexifi.com/blog/type-based-selection-label-and-constructors">http://www.lexifi.com/blog/type-based-selection-label-and-constructors</a><br>

<br><div class="gmail_quote">On Sun, Mar 10, 2013 at 4:04 AM, Markus Mottl <span dir="ltr">&lt;<a href="mailto:markus.mottl@gmail.com" target="_blank">markus.mottl@gmail.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

<div class="im">On Sat, Mar 9, 2013 at 6:39 PM, Yaron Minsky &lt;<a href="mailto:yminsky@gmail.com">yminsky@gmail.com</a>&gt; wrote:<br>
&gt; A few concerns: one, it&#39;s really hard to figure out where the source<br>
&gt; of the conflict is from this message.  It would be nice to get some<br>
&gt; clue from the compiler as to the two definitions that are conflicting.<br>
<br>
</div>I haven&#39;t investigated this, but my bet would be that the ambiguity is<br>
due to the record in the Core.Std.Date module (y = year).<br>
<br>
Regards,<br>
Markus<br>
<span class="HOEnZb"><font color="#888888"><br>
--<br>
Markus Mottl        <a href="http://www.ocaml.info" target="_blank">http://www.ocaml.info</a>        <a href="mailto:markus.mottl@gmail.com">markus.mottl@gmail.com</a><br>
</font></span><div class="HOEnZb"><div class="h5"><br>
--<br>
Caml-list mailing list.  Subscription management and archives:<br>
<a href="https://sympa.inria.fr/sympa/arc/caml-list" target="_blank">https://sympa.inria.fr/sympa/arc/caml-list</a><br>
Beginner&#39;s list: <a href="http://groups.yahoo.com/group/ocaml_beginners" target="_blank">http://groups.yahoo.com/group/ocaml_beginners</a><br>
Bug reports: <a href="http://caml.inria.fr/bin/caml-bugs" target="_blank">http://caml.inria.fr/bin/caml-bugs</a><br>
</div></div></blockquote></div><br>