From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: Type_Invariant and instance creation (was: Type_Invariant and Finalize)
Date: Mon, 21 Jul 2014 18:29:41 -0500
Date: 2014-07-21T18:29:41-05:00 [thread overview]
Message-ID: <lqk7p5$4m3$1@loke.gir.dk> (raw)
In-Reply-To: lyy4vrwu4q.fsf@pushface.org
"Simon Wright" <simon@pushface.org> wrote in message
news:lyy4vrwu4q.fsf@pushface.org...
...
> What am I doing wrong? Which compiler (if either) is right?
I'd guess that both are wrong, although it may not have to do with this
example. :-) There's lots of issues with Type_Invariant (it seems SO
simple); we've pretty much given up on making it bullet-proof. We just
approved yet another AI on the topic (AI12-0042-1/09 -- 8 versions before
this one!) and I suspect that we haven't found all of the problems. Both
predicates and postconditions are in better shape, so I'd use them more than
type invariants.
Randy.
next prev parent reply other threads:[~2014-07-21 23:29 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-07-17 18:15 Type_Invariant and Finalize Natasha Kerensikova
2014-07-17 20:49 ` Simon Wright
2014-07-18 6:56 ` Natasha Kerensikova
2014-07-18 21:48 ` Robert A Duff
2014-07-17 21:30 ` Type_Invariant and instance creation (was: Type_Invariant and Finalize) Simon Wright
2014-07-21 23:29 ` Randy Brukardt [this message]
2014-07-22 1:13 ` Type_Invariant and instance creation Shark8
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox