search

gracelang / language

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

Interface of singleton(o) types #81

Closed kjx closed 7 years ago

kjx commented 8 years ago

What’s the interface of singleton types (I carefully didn’t say).

see:

https://github.com/gracelang/language/blob/portland-james/spec.md#singleton-types

https://github.com/gracelang/language/blob/portland-james/spec.md#self-matching-objects

apblack commented 8 years ago

I think that I said: it's the interface of the singleton.

apblack commented 7 years ago

With issue #100 resolved by taking Singleton types out of the spec, this issue was resolved by ... taking singleton types out of the spec (in commit 7bae9d22d).