I don&#39;t understand this.&nbsp; I thought the whole idea of oo programming was that you could use a subclass in place of a superclass... <br><br>I also thought that the strict typing of Ocaml was there to avoid runtime errors, but if so, why does it complain in this situation, when no runtime error can possibly happen? 
<br><br>It seems to me that the idea of oo programming is broken for no good reason... <br><br>Luca<br><br><div><span class="gmail_quote">On 10/5/07, <b class="gmail_sendername">Florian Hars</b> &lt;<a href="mailto:hars@bik-gmbh.de">
hars@bik-gmbh.de</a>&gt; wrote:</span><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">Luca de Alfaro schrieb:<br>&gt; The absurdity continues:
<br><br>This is not absurd, this is the documented correct behaviuor.<br>If *you* decide that f must only accept arguments of *exactly*<br>type r, the typechecker enforces your decision, as it does if<br>you decide that f may also accept subtypes of r (as long as your
<br>decisions are consistent within he type system).<br><br>Yours, Florian.<br></blockquote></div><br>