From: "G.B." <rm-dash-bau-haus@dash.futureapps.de>
Subject: Re: spec/body/rep (Was: Compilation error (GNAT bug?))
Date: Tue, 27 May 2014 18:52:44 +0200
Date: 2014-05-27T18:52:43+02:00 [thread overview]
Message-ID: <5384c2db$0$6666$9b4e6d93@newsspool3.arcor-online.net> (raw)
In-Reply-To: <1loe63h8q0q1g.r9u22ub67h47.dlg@40tude.net>
On 27.05.14 18:41, Dmitry A. Kazakov wrote:
> It never matters if post-condition you wrote was meant proper
> post-condition = checked at compile time.
I meant to refer to the effects of the rep aspects:
Import can surely break contracts, practically, if
the external entity has no notion of Natural'Last?
next prev parent reply other threads:[~2014-05-27 16:52 UTC|newest]
Thread overview: 13+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-05-20 18:32 Compilation error (GNAT bug?) Victor Porton
2014-05-20 18:43 ` Simon Wright
2014-05-20 22:22 ` spec/body/rep (Was: Compilation error (GNAT bug?)) Georg Bauhaus
2014-05-23 21:21 ` Randy Brukardt
2014-05-27 5:16 ` J-P. Rosen
2014-05-27 6:22 ` Niklas Holsti
2014-05-27 8:54 ` J-P. Rosen
2014-05-27 8:55 ` Dmitry A. Kazakov
2014-05-27 15:45 ` G.B.
2014-05-27 16:41 ` Dmitry A. Kazakov
2014-05-27 16:52 ` G.B. [this message]
2014-05-27 17:03 ` Dmitry A. Kazakov
2014-05-27 22:57 ` Randy Brukardt
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox