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 <mgottes...@apple.com> wrote:
> 
> 
>> On Jul 8, 2017, at 10:36 AM, Johannes Weiß via swift-dev 
>> <swift-dev@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@swift.org
>> https://lists.swift.org/mailman/listinfo/swift-dev
> 

_______________________________________________
swift-dev mailing list
swift-dev@swift.org
https://lists.swift.org/mailman/listinfo/swift-dev

Reply via email to