Hi Joe, On Wed, Feb 11, 2015 at 4:54 PM, Joe Watkins <pthre...@pthreads.org> wrote:
> So it turns out that invariant is already deprecated in D, they have > dropped it in favour of immutable properties. > > I guess I'll have to install an old version, or try to extract everything > we need from their obviously outdated documentation ... > That's too bad. Eiffel uses invariant. https://docs.eiffel.com/book/method/et-design-contract-tm-assertions-and-exceptions Regards, -- Yasuo Ohgaki yohg...@ohgaki.net