To help LDC/GDC

[Dicebot]

On Monday, 8 April 2013 at 19:48:50 UTC, David Nadlinger wrote:
> On Monday, 8 April 2013 at 18:15:11 UTC, Simen Kjaeraas wrote:
>> The three levels (weakly pure/strongly pure/impure) are needed,
>> but a redesign would perhaps use a different keyword for weakly
>> pure.
>
> Why should it?
>
> I mean, using another name for "pure" would arguably make 
> sense, given the confusion it seems to have caused in the past. 
> But if you are suggesting to differentiate between various 
> "kinds of purity" on a keyword level, I'm not sure what 
> benefits you are hoping to get.
>
> David

What will you do if you want to make Foo.bar _strongly_ pure and 
compiler to verify it?