On 3/15/2015 7:10 AM, "Marc =?UTF-8?B?U2Now7x0eiI=?= <schue...@gmx.net>" wrote:
Here's the new version of my scope proposal:
http://wiki.dlang.org/User:Schuetzm/scope2
It's still missing real-life examples, a section on the implementation, and a
more formal specification, as well as a discussion of backwards compatibility.
But I thought I'd show what I have, so that it can be discussed early on.
I hope it will be more digestible for Walter & Andrei. It's more or less an
extended version of DIP25, and avoids the need for most explicit annotations.
Thanks for doing this. It is a good step forward.
Consider the code:
struct Foo { C obj; }
@safe void bar(C c, Foo* f) { f.obj = c; }
Under the proposal, for @safe code, this would have to be written as:
@safe void bar(static C c, Foo* f) ...
I'm concerned this may break an astonishing amount of code.
