<div dir="ltr">Thanks.  I don't need it to write code, just to explain in the Programming with Grace text where the default definitions of ==, !=, asString, etc. all come from.<br></div><br><div class="gmail_quote"><div dir="ltr">On Wed, Jun 17, 2015 at 1:51 PM Andrew P Black <<a href="mailto:andrew.p.black@gmail.com">andrew.p.black@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
On 17 Jun 2015, at 11:23 , Kim Bruce <<a href="mailto:kbbruce47@gmail.com" target="_blank">kbbruce47@gmail.com</a>> wrote:<br>
<br>
> The top type in Grace is Object.  What is the name of the top class in Grace, the one that other classes implicitly inherit from.  I only need to know to insert an explanation in my text.  Object and Top aren't recognized, and putting in Object as a superclass (not surprisingly) generates errors when you try to use the inherited methods.<br>
><br>
> I couldn't find any of this in the spec, and it likely should be there.<br>
<br>
We decided (in the conference room at Claremont, IIRC) that it's called graceObject.  It is mentioned in the spec, in section 10, but isn't actually defined there.<br>
<br>
It's also not implemented in either of the minigrace code generators.<br>
<br>
Programmers never need to refer to graceObject.  If they want one, they can write it<br>
<br>
        object { }<br>
<br>
So we did discuss not giving it a name at all.<br>
<br>
If we agree that we want it to have a name, I'll just add<br>
<br>
        factory method graceObject { }<br>
<br>
to the standard prelude.<br>
<br>
</blockquote></div>