[swift-evolution] Why is the status of SE-0110 "implemented"?

[John McCall]

> On Jun 5, 2017, at 12:08 AM, Jens Persson via swift-evolution <swift-evolution at swift.org> wrote:
> So the bug in the reflective type system needs to be fixed before SE-0110 can actually be implemented (so that the statements in its title and text are true when compared to the actual behavior of the current Swift 4 compiler), 

Gaps in the reflective type system are bugs, but they are not showstopper bugs.  We do not even expose any way to query the reflective system today; it basically only affects type equality and dynamic casts that programmers are very unlikely to use.  The changes in call type-checking are vastly more important, are implemented (modulo bugs, of course), and by themselves warrant calling SE-0110 implemented.

John.

> 
> And yet:
> 
> 1. The status of SE-0110 is "Implemented"
> 
> 2. These statuses of the following issues are "resolved":
>     SR-2008: Distinguish between single-tuple and multiple-argument function types
>     SR-2216: Confusing behavior related to closure types and tuples
>     SR-296: Fix inconsistencies related to tuples, arg/param lists, type params, typealiases
> 
> Why?
> 
> /Jens
> 
> 
> On Sun, Jun 4, 2017 at 5:49 PM, Ben Rimmington <me at benrimmington.com <mailto:me at benrimmington.com>> wrote:
> I assumed that Swift 3 mode would be the default, so that existing `#!/usr/bin/swift` scripts continue to work.
> 
> -- Ben
> 
> > On 3 Jun 2017, at 23:47, Jens Persson <jens at bitcycle.com <mailto:jens at bitcycle.com>> wrote:
> >
> > Yes of course, try my demonstration code yourself.
> > (In the current dev snapshots, -swift-version 4 is the default and -swift-version 3 is what you need to set if you want 3 compability)
> >
> >> On Sun, Jun 4, 2017 at 12:37 AM, Ben Rimmington <me at benrimmington.com <mailto:me at benrimmington.com>> wrote:
> >>
> >> Are you using the Swift 4 language mode?
> >>
> >> <https://swift.org/blog/swift-4-0-release-process/#source-compatibility <https://swift.org/blog/swift-4-0-release-process/#source-compatibility>>
> >>
> >> -- Ben
> 
> _______________________________________________
> swift-evolution mailing list
> swift-evolution at swift.org
> https://lists.swift.org/mailman/listinfo/swift-evolution

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.swift.org/pipermail/swift-evolution/attachments/20170605/f63f0c43/attachment.html>