This must be a compile time error.<br>Use Strict SELF instead.<br>By the way, it's a typing holme (trou de typag) : the compiler can not always check this at compile time. It's a bug we worked on for a whole night (whitout finding it, Ben solves it the next day ;) ), and you will have to use Strict SELF in the next release (not sure but, by the way, use Strict)<br>
<br><div class="gmail_quote">2009/11/11 Pierre-Alexandre Voye <span dir="ltr"><<a href="mailto:ontologiae@gmail.com">ontologiae@gmail.com</a>></span><br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
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'Lya <span dir="ltr"><<a href="mailto:ml.mildred593@gmail.com" target="_blank">ml.mildred593@gmail.com</a>></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><div></div><div class="h5">
<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 '==' other:SELF :BOOLEAN <- deferred;<br>
<br>
</tt><tt>Section Header<br>
 + name := APPLE;<br>
Section Inherit<br>
 - parent_object :OBJECT := OBJECT;<br>
Section Public<br>
 - Self:SELF '==' other:SELF :BOOLEAN <- 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 '==' other:SELF :BOOLEAN <- size == other.size;<br>
 + size :INTEGER;<br>
<br>
Section Header<br>
 + name := MAIN<br>
Section Public<br>
 - main <-<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 "slot deferred" (OBJECT.'==')<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'Lya
â•â”€â”€â”€â”€â”€â”€â”€â”€â”€ ï½ï½‰ï½Œï½„ï½’ï½…ï½„ï¼•ï¼™ï¼“ï¼ ï½ï½Žï½Œï½‰ï½Žï½…．ｆｒ ──────────
│ Jabber, GoogleTalk: <a href="mailto:mildred@jabber.fr" target="_blank"><mildred@jabber.fr></a>
│ Website: <a href="http://ki.lya.online.fr" target="_blank"><http://ki.lya.online.fr></a> GPG ID: 9A7D 2E2B
│ Fingerprint: 197C A7E6 645B 4299 6D37 684B 6F9D A8D6 9A7D 2E2B
</pre>
</div>
<br></div></div><div class="im">_______________________________________________<br>
Lisaac-devel mailing list<br>
<a href="mailto:Lisaac-devel@lists.alioth.debian.org" target="_blank">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></div></blockquote></div><font color="#888888"><br><br clear="all"><br>-- <br>---------------------<br>Isaac Project - <a href="http://isaacproject.u-strasbg.fr/" target="_blank">http://isaacproject.u-strasbg.fr/</a><br>
</font><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>