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