[swift-dev] State of Semantic ARC?

[Johannes Weiß]

Hi Michael and Bob,

Thanks very much, that's really cool.

Will a future version of Swift gain new annotations to control ownership directly within the Swift source? Oh and, is it possible (just to play around with) to enable the ownership verifier for more modules?

Really excited about this :)

Thanks,
  Johannes

> On 10 Jul 2017, at 2:22 am, Michael Gottesman <mgottesman at apple.com> wrote:
> 
> 
>> On Jul 8, 2017, at 10:36 AM, Johannes Weiß via swift-dev <swift-dev at swift.org> wrote:
>> 
>> Hi swift-dev,
>> 
>> I haven't heard anything about semantic ARC and couldn't really find much documentation besides https://gottesmm.github.io/proposals/high-level-arc-memory-operations.html . So I wanted to ask how much of it is implemented and what the plan for Swift 4/5 regarding Semantic ARC is.
> 
> Many of Semantic ARC's changes were in Swift 4, but we did not turn on the ownership verifier for Swift 4. This is because getting the stdlib to pass the verifier (a constraint for turning it on for non-stdlib code) would have been too disruptive at that time to land. The overall plan is to continue working on Semantic ARC (If you look at the commits list, I have been landing code for it recently). In fact, I just got stdlibCore (*note*, not the entire stdlib) to pass the ownership verifier, so progress is being made.
> 
> Did I answer your question?
> 
> Michael
> 
>> 
>> -- Johannes
>> _______________________________________________
>> swift-dev mailing list
>> swift-dev at swift.org
>> https://lists.swift.org/mailman/listinfo/swift-dev
>