Lifetime tracking
tsbockman via Digitalmars-d
digitalmars-d at puremagic.com
Thu Jun 2 16:49:58 PDT 2016
On Thursday, 2 June 2016 at 23:29:57 UTC, Timon Gehr wrote:
> On 03.06.2016 01:12, tsbockman wrote:
>> On Thursday, 2 June 2016 at 23:05:40 UTC, Timon Gehr wrote:
>>> Whenever the type checker is using a certain piece of
>>> information to
>>> check validity of a program, there should be a way to pass
>>> that kind
>>> of information across function boundaries. Otherwise the type
>>> system
>>> is not modular. This is a serious defect.
>>
>> Would you mind giving a brief example of how that applies to
>> `scope`?
>>
>> (I'm asking for my own education; I have no personal opinion
>> as to the
>> right implementation at the moment.)
>
> The simplest example is this [1]:
Thanks for the explanation.
More information about the Digitalmars-d
mailing list