[dmd-beta] beta 2

[David Nadlinger]

On 7/7/11 12:02 AM, Walter Bright wrote:
> On 7/6/2011 2:12 PM, David Simcha wrote:
>> On Wed, Jul 6, 2011 at 5:09 PM, Walter Bright <walter at digitalmars.com
>> <mailto:walter at digitalmars.com>> wrote:
>>     pure void foo(int* p) { *p = 3; }
>> ???? Yes it is. It can be called from a strongly pure function without
>> violating purity
>
> Yes, but it is not pure itself.

So you propose removing the concept of weak purity from the language 
again? Under the relaxed purity rules (at least in the way I understand 
them), the function would be pure – not strongly pure, but you could 
stick a »pure« attribute next to it.

David