Types Issues needing resolution

[apblack]

For our meeting week, let's talk about some of the open issues about types. The relevant issues seem to be:

• Singletons and Types #100
• Types are not manifest #101
• Non-existant reference in Spec #122
• Interface of singleton(o) types #81
• What's a type (module "build order") #64
• Type enquiries #92

It would be great if we could all read the above issues remind ourselves of what we used to think before we meet!

[KimBruce]

That’s fine with me. However, I’ll have to duck out after about an hour as I have to go to a talk by a job candidate.

Kim

On Jan 22, 2017, at 12:55 PM, Andrew Black notifications@github.com wrote:

For our meeting week, let's talk about some of the open issues about types. The relevant issues seem to be

Singletons and Types #100 Types are not manifest #101 Non-existant reference in Spec #122 Interface of singleton(o) types #81 What's a type (module "build order") #64 Type enquiries #92 It would be great if we could all read the above issues remind ourselves of what we used to think before we meet!

— 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/123, or mute the thread https://github.com/notifications/unsubscribe-auth/ABuh-rJ8dVWEGxPXmtkebMwc5ek3WPTBks5rU8I-gaJpZM4LqgCi.

[apblack]

The only issues on the above list not now closed are #64 and #101.

[apblack]

I have just closed issues #64 and #101. So we are done with this one too!