Proposal to synthesize Equatable/Hashable for value types.

[allevato]

No description provided.

[allevato]

I've just pushed a small update to this proposal to clarify some things that have been discovered during the process of writing the WIP implementation above.

[benrimmington]

@allevato Please see PR allevato#1

[benrimmington]

@allevato Based on swiftlang/swift#9758 you might need to:

• restore the original type declaration sentence;
• remove the Location of synthesized conformances section.

[allevato]

Thanks for the heads up, @benrimmington. I updated the proposal and it looks like swiftlang/swift#9758 just got merged so I'll bring my prototype in sync with that as well.

[trevor-e]

It would be really awesome if a synthesis framework was exposed to developers so that libraries could leverage a form of code generation, similar to Java's annotation processing.

[lattner]

Hi @allevato , I'd like to kick this off for formal review soon. Please check the proposal for any last minute revisions that you'd like. Is there an implementation available for this?

[CodaFi]

The implementation is available at swiftlang/swift#9619

[lattner]

One other point, please make sure the test case includes a test for indirect enums.

[lattner]

Thanks for the link @CodaFi . @allevato let me know when you're ready and I'll kick off review.