Re: [swift-evolution] [swift-evolution-announce] [Review] SE-0043 Declare variables in 'case' labels with multiple patterns

2016-03-19 Thread Brent Royal-Gordon via swift-evolution
> • What is your evaluation of the proposal? Good stuff. How exact does the type match have to be? Can they be two subclasses of a different superclass? Can they conform to common protocols? Can they conform to no common protocols and just be `AnyObject` or `Any`? Is there a way to

Re: [swift-evolution] [swift-evolution-announce] [Review] SE-0043 Declare variables in 'case' labels with multiple patterns

2016-03-19 Thread T.J. Usiyan via swift-evolution
+1 This is a great addition. I've hoped for it since 1.0. On Sat, Mar 19, 2016 at 9:45 AM, Matthew Johnson via swift-evolution < swift-evolution@swift.org> wrote: > > • What is your evaluation of the proposal? > > > +1 > > • Is the problem being addressed significant enough to warrant a change

Re: [swift-evolution] [swift-evolution-announce] [Review] SE-0043 Declare variables in 'case' labels with multiple patterns

2016-03-18 Thread Andrew Bennett via swift-evolution
Excellent point Brent. I was considering that this would have to be an exact match, I hadn't considered the need for an (x: Y) syntax. This probably should be considered in a future proposal though. The future proposal may make sense to be after existential types are explored, so that common