<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body 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 class="moz-signature" cols="72">--
Mildred Ki'Lya
╭───────── ｍｉｌｄｒｅｄ５９３＠ｏｎｌｉｎｅ．ｆｒ ──────────
│ Jabber, GoogleTalk: <a class="moz-txt-link-rfc2396E" href="mailto:mildred@jabber.fr"><mildred@jabber.fr></a>
│ Website: <a class="moz-txt-link-rfc2396E" href="http://ki.lya.online.fr"><http://ki.lya.online.fr></a> GPG ID: 9A7D 2E2B
│ Fingerprint: 197C A7E6 645B 4299 6D37 684B 6F9D A8D6 9A7D 2E2B
</pre>
</body>
</html>