I always vote for compile time error. If you like runtime errors, ruby is a very good language<br><br><div class="gmail_quote">2009/11/11 Mildred Ki&#39;Lya <span dir="ltr">&lt;<a href="mailto:ml.mildred593@gmail.com">ml.mildred593@gmail.com</a>&gt;</span><br>

<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">





<div text="#000000" bgcolor="#ffffff">
Hi,<br>
<br>
I wanted your opinion in what should happen in that case:<br>
<br>
<tt><br>
</tt><tt>Section Header<br>
  + name := OBJECT;<br>
Section Public<br>
  - Self:SELF &#39;==&#39; other:SELF :BOOLEAN &lt;- deferred;<br>
<br>
</tt><tt>Section Header<br>
  + name := APPLE;<br>
Section Inherit<br>
  - parent_object :OBJECT := OBJECT;<br>
Section Public<br>
  - Self:SELF &#39;==&#39; other:SELF :BOOLEAN &lt;- color == other.color;<br>
  + color :COLOR;<br>
<br>
</tt><tt>Section Header<br>
  + name := ORANGE;<br>
</tt><tt>Section Inherit<br>
  - parent_object :OBJECT := OBJECT;<br>
</tt><tt>Section Public</tt><tt><br>
  - Self:SELF &#39;==&#39; other:SELF :BOOLEAN &lt;- size == other.size;<br>
  + size :INTEGER;<br>
<br>
Section Header<br>
  + name := MAIN<br>
Section Public<br>
  - main &lt;-<br>
  ( + o1, o2 :OBJECT;<br>
    (o1, o2) := (APPLE, ORANGE);<br>
    (o1 == o2).println;<br>
  );<br>
</tt><tt><br>
</tt><br>
What should be the result of this ?<br>
<ol>
  <li>Compile time error</li>
  <li>Runtime error &quot;slot deferred&quot; (OBJECT.&#39;==&#39;)<br>
  </li>
  <li>FALSE</li>
  <li>TRUE</li>
  <li>random result<br>
  </li>
</ol>
<br>
I would vote for (2) but is that behaviour specified anywhere ?<br>
<br>
Mildred<br>
<pre cols="72">-- 
Mildred Ki&#39;Lya
╭───────── ｍｉｌｄｒｅｄ５９３＠ｏｎｌｉｎｅ．ｆｒ ──────────
│ Jabber, GoogleTalk: <a href="mailto:mildred@jabber.fr" target="_blank">&lt;mildred@jabber.fr&gt;</a>
│ Website: <a href="http://ki.lya.online.fr" target="_blank">&lt;http://ki.lya.online.fr&gt;</a>           GPG ID: 9A7D 2E2B
│ Fingerprint: 197C A7E6 645B 4299 6D37 684B 6F9D A8D6 9A7D 2E2B
</pre>
</div>

<br>_______________________________________________<br>
Lisaac-devel mailing list<br>
<a href="mailto:Lisaac-devel@lists.alioth.debian.org">Lisaac-devel@lists.alioth.debian.org</a><br>
<a href="http://lists.alioth.debian.org/mailman/listinfo/lisaac-devel" target="_blank">http://lists.alioth.debian.org/mailman/listinfo/lisaac-devel</a><br>
<br></blockquote></div><br><br clear="all"><br>-- <br>---------------------<br>Isaac Project - <a href="http://isaacproject.u-strasbg.fr/">http://isaacproject.u-strasbg.fr/</a><br>