I'm back

Timon Gehr timon.gehr at gmx.ch
Fri Nov 16 10:06:05 PST 2012


On 11/16/2012 01:58 AM, Jonathan M Davis wrote:
> On Thursday, November 15, 2012 22:11:33 Timon Gehr wrote:
>> On 11/14/2012 08:32 PM, Jonathan M Davis wrote:
>>> On Wednesday, November 14, 2012 20:18:26 Timon Gehr wrote:
>>>> That is a very imprecise approximation. I think it does not cover any
>>>> ground: The day eg. 'array' will require this kind of non-transient
>>>> element range is the day where I will write my own.
>>>
>>> std.array.array _cannot_ work with a transient front. ...
>>
>> It can work if 'transient' is over-approximated like suggested in the
>> parent post.
>
> How so? ...

The suggestion is to ban all potentially mutable indirections from 
'non-transient' ranges. (this redefines what 'transient' means.) It 
cannot be derived that popFront will invalidate stuff just from the fact 
that the type system does not explicitly exclude that any code ever 
modifies it.



More information about the Digitalmars-d mailing list