Hi Joe, On Tue, Feb 10, 2015 at 4:40 PM, Joe Watkins <pthre...@pthreads.org> wrote:
> It doesn't seem to make sense to do that, a derived class should be able > to define additional contracts, but not change the contracts of it's parent. I forgot that invariants in D and Eiffel implicitly inherits parent's invariants. So classes that causes problems have design bug. Please go ahead editing the file. I wouldn't have time until next morning. There will be hours. I'll wait as long as it takes. Regards, -- Yasuo Ohgaki yohg...@ohgaki.net
