Inheritance of purity

Timon Gehr timon.gehr at
Thu Feb 16 21:20:32 PST 2012

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 ;)

More information about the Digitalmars-d mailing list