search

gracelang / language

Design of the Grace language and its libraries
GNU General Public License v2.0
6 stars 1 forks source link

Self or SelfType #160

Closed apblack closed 6 years ago

apblack commented 6 years ago

Which is it?

KimBruce commented 6 years ago

I thought it was Self, but don’t feel that strongly about it. In other places i’ve written things like point: Point leaving the capitalization to distinguish between the two. It seems reasonable to do that here as well.

Kim

On Feb 28, 2018, at 1:39 PM, Andrew Black notifications@github.com wrote:

Which is it?

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/gracelang/language/issues/160, or mute the thread https://github.com/notifications/unsubscribe-auth/ABuh-gzd3sStMSJlQOBYJWizbm203bV8ks5tZcd4gaJpZM4SXY23.

apblack commented 6 years ago

Self it is. I thought that we had used both terms in the Spec, but apparently that was only in my head. I'll fix the code ...