[swift-evolution] Recursive protocol constraints

[Slava Pestov]

> On Feb 7, 2017, at 9:12 PM, Austin Zheng via swift-evolution <swift-evolution at swift.org> wrote:
> 
> I would like to get the PR revised and into the review process soon, as it should have been a month ago. Is there a good place to review the in-progress work? I think it would go a long way to help complete the auditing of the necessary standard library changes.

I don’t think the code is at a stage yet where you can actually define and use a recursive conformance. Doug is still squashing recursive walks over nested types, which are by definition non-terminating with a recursive conformance.

Slava

> 
> (Alternately, if anyone is interested in picking it up from me I'm open to that as well. Whatever is best for the community is the best way forward.)
> 
> Austin
> 
>> On Feb 7, 2017, at 8:57 PM, Douglas Gregor <dgregor at apple.com> wrote:
>> 
>> 
>> 
>> Sent from my iPhone
>> 
>>> On Feb 7, 2017, at 3:05 PM, Dave Abrahams via swift-evolution <swift-evolution at swift.org> wrote:
>>> 
>>> 
>>>> on Tue Feb 07 2017, Rex Fenley <swift-evolution at swift.org> wrote:
>>>> 
>>>> Does "Permit where clauses to constrain associated types" (
>>>> https://github.com/apple/swift-evolution/blob/master/proposals/0142-associated-types-constraints.md)
>>>> also
>>>> include "Recursive protocol constraints"? The "Motivation" section seems to
>>>> imply this. If not, will this be making it into Swift 4?
>>> 
>>> They're related but distinct issues.  We're working on delivering both
>>> of them for Swift 4.
>> 
>> Austin Zheng was working on a proposal for recursive protocols conformances, but we're charging forward on the implementation regardless. It's a delightful feature. 
>> 
>> - Doug
>> 
>>> 
>>> -- 
>>> -Dave
>>> 
>>> _______________________________________________
>>> swift-evolution mailing list
>>> swift-evolution at swift.org
>>> https://lists.swift.org/mailman/listinfo/swift-evolution
> 
> _______________________________________________
> swift-evolution mailing list
> swift-evolution at swift.org
> https://lists.swift.org/mailman/listinfo/swift-evolution