Isolated by example
deadalnix via Digitalmars-d
digitalmars-d at puremagic.com
Fri May 2 11:10:40 PDT 2014
On Friday, 2 May 2014 at 09:41:48 UTC, Marc Schütz wrote:
> That's true, but it is also a breaking change, because then
> suddenly some variables aren't writable anymore (or
> alternatively, the compiler would have to analyse all future
> uses of the variable first to see whether it can be inferred
> isolated, if that's even possible in the general case). I
> believe it's fine if explicit annotation is required.
No, I expect the compiler to backtrack inference when it hits an
error, not to infer eagerly, because indeed, the eager inference
would be a breaking change.
More information about the Digitalmars-d
mailing list