Inheritance of purity

[Timon Gehr]

On 02/17/2012 06:12 AM, Walter Bright wrote:
> On 2/16/2012 8:53 PM, Walter Bright wrote:
>> 1. The user of the override will be using it via the base class function.
>>
>> 2. The compiler will tell you if it, for example, violates purity.
>> There won't
>> be any guesswork involved. Right now, the compiler will give you a
>> covariant error.
>>
>> 3. It isn't different in concept than auto declarations and all the
>> other type
>> inference that goes in D, including automatic inference of purity and
>> safety.
>
> 4. It's also much like how contracts get inherited.

This needs some love ;)
http://d.puremagic.com/issues/show_bug.cgi?id=6856