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

Reply via email to