Re: [swift-evolution] Recursive protocol constraints

2017-02-07 Thread Slava Pestov via swift-evolution
> On Feb 7, 2017, at 9:12 PM, Austin Zheng via swift-evolution > 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 au

Re: [swift-evolution] Recursive protocol constraints

2017-02-07 Thread Austin Zheng via swift-evolution
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. (Alternately, if anyone is inter

Re: [swift-evolution] Recursive protocol constraints

2017-02-07 Thread Douglas Gregor via swift-evolution
Sent from my iPhone > On Feb 7, 2017, at 3:05 PM, Dave Abrahams via swift-evolution > wrote: > > >> on Tue Feb 07 2017, Rex Fenley wrote: >> >> Does "Permit where clauses to constrain associated types" ( >> https://github.com/apple/swift-evolution/blob/master/proposals/0142-associated-type

Re: [swift-evolution] Recursive protocol constraints

2017-02-07 Thread Dave Abrahams via swift-evolution
on Tue Feb 07 2017, Rex Fenley 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

[swift-evolution] Recursive protocol constraints

2017-02-07 Thread Rex Fenley via swift-evolution
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?