Re: [swift-dev] "Near-miss" warnings for protocol conformances

2017-10-31 Thread Douglas Gregor via swift-dev
> On Oct 31, 2017, at 11:08 PM, Ted Kremenek wrote: > > > >> On Oct 26, 2017, at 9:28 PM, Douglas Gregor via swift-dev >> wrote: >> >> Unlabeled single-value initializers are probably going to cause a number of >> false positives, because we can’t figure out which one we meant. > > Hi Do

Re: [swift-dev] "Near-miss" warnings for protocol conformances

2017-10-31 Thread Ted Kremenek via swift-dev
> On Oct 26, 2017, at 9:28 PM, Douglas Gregor via swift-dev > wrote: > > Unlabeled single-value initializers are probably going to cause a number of > false positives, because we can’t figure out which one we meant. Hi Doug, This all looks very promising. Do you have any thoughts about how

Re: [swift-dev] Rationalizing FloatingPoint conformance to Equatable

2017-10-31 Thread Chris Lattner via swift-dev
On Oct 31, 2017, at 9:07 AM, Stephen Canon via swift-dev wrote: > [Replying to the thread as a whole] > > There have been a bunch of suggestions for variants of `==` that either trap > on NaN or return `Bool?`. I think that these suggestions result from people > getting tunnel-vision on the id

Re: [swift-dev] Rationalizing FloatingPoint conformance to Equatable

2017-10-31 Thread David Sweeris via swift-dev
> On Oct 31, 2017, at 20:58, Xiaodi Wu wrote: > >> On Tue, Oct 31, 2017 at 10:50 PM, Xiaodi Wu wrote: >>> On Tue, Oct 31, 2017 at 10:23 PM, David Sweeris wrote: >>> On Oct 31, 2017, at 7:26 PM, Xiaodi Wu wrote: > On Tue, Oct 31, 2017 at 5:56 PM, David Sweeris > wrote: >>

Re: [swift-dev] Rationalizing FloatingPoint conformance to Equatable

2017-10-31 Thread Xiaodi Wu via swift-dev
On Tue, Oct 31, 2017 at 10:50 PM, Xiaodi Wu wrote: > On Tue, Oct 31, 2017 at 10:23 PM, David Sweeris > wrote: > >> >> On Oct 31, 2017, at 7:26 PM, Xiaodi Wu wrote: >> >> On Tue, Oct 31, 2017 at 5:56 PM, David Sweeris >> wrote: >> >>> >>> On Oct 31, 2017, at 09:07, Stephen Canon via swift-dev <

Re: [swift-dev] Rationalizing FloatingPoint conformance to Equatable

2017-10-31 Thread Xiaodi Wu via swift-dev
On Tue, Oct 31, 2017 at 10:23 PM, David Sweeris wrote: > > On Oct 31, 2017, at 7:26 PM, Xiaodi Wu wrote: > > On Tue, Oct 31, 2017 at 5:56 PM, David Sweeris > wrote: > >> >> On Oct 31, 2017, at 09:07, Stephen Canon via swift-dev < >> swift-dev@swift.org> wrote: >> >> [Replying to the thread as a

Re: [swift-dev] Rationalizing FloatingPoint conformance to Equatable

2017-10-31 Thread David Sweeris via swift-dev
> On Oct 31, 2017, at 7:26 PM, Xiaodi Wu wrote: > > On Tue, Oct 31, 2017 at 5:56 PM, David Sweeris > wrote: > > On Oct 31, 2017, at 09:07, Stephen Canon via swift-dev > wrote: > >> [Replying to the thread as a whole] >> >> There have b

Re: [swift-dev] Rationalizing FloatingPoint conformance to Equatable

2017-10-31 Thread Xiaodi Wu via swift-dev
On Tue, Oct 31, 2017 at 11:07 AM, Stephen Canon wrote: > [Replying to the thread as a whole] > > There have been a bunch of suggestions for variants of `==` that either > trap on NaN or return `Bool?`. I think that these suggestions result from > people getting tunnel-vision on the idea of “make

Re: [swift-dev] Rationalizing FloatingPoint conformance to Equatable

2017-10-31 Thread Xiaodi Wu via swift-dev
On Tue, Oct 31, 2017 at 5:56 PM, David Sweeris wrote: > > On Oct 31, 2017, at 09:07, Stephen Canon via swift-dev < > swift-dev@swift.org> wrote: > > [Replying to the thread as a whole] > > There have been a bunch of suggestions for variants of `==` that either > trap on NaN or return `Bool?`. I t

Re: [swift-dev] Rationalizing FloatingPoint conformance to Equatable

2017-10-31 Thread David Sweeris via swift-dev
> On Oct 31, 2017, at 09:07, Stephen Canon via swift-dev > wrote: > > [Replying to the thread as a whole] > > There have been a bunch of suggestions for variants of `==` that either trap > on NaN or return `Bool?`. I think that these suggestions result from people > getting tunnel-vision on

Re: [swift-dev] Rationalizing FloatingPoint conformance to Equatable

2017-10-31 Thread Jonathan Hull via swift-dev
> On Oct 31, 2017, at 9:07 AM, Stephen Canon wrote: > > [Replying to the thread as a whole] > > There have been a bunch of suggestions for variants of `==` that either trap > on NaN or return `Bool?`. I think that these suggestions result from people > getting tunnel-vision on the idea of “ma

Re: [swift-dev] Rationalizing FloatingPoint conformance to Equatable

2017-10-31 Thread David Sweeris via swift-dev
> On Oct 31, 2017, at 9:07 AM, Stephen Canon via swift-dev > wrote: > > [Replying to the thread as a whole] > > There have been a bunch of suggestions for variants of `==` that either trap > on NaN or return `Bool?`. I think that these suggestions result from people > getting tunnel-vision o

Re: [swift-dev] Rationalizing FloatingPoint conformance to Equatable

2017-10-31 Thread Stephen Canon via swift-dev
[Replying to the thread as a whole] There have been a bunch of suggestions for variants of `==` that either trap on NaN or return `Bool?`. I think that these suggestions result from people getting tunnel-vision on the idea of “make FloatingPoint equality satisfy desired axioms of Equatable / Co