Inheritance of purity
timon.gehr at gmx.ch
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
> 4. It's also much like how contracts get inherited.
This needs some love ;)
More information about the Digitalmars-d