comp.lang.ada
 help / color / mirror / Atom feed
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: On pragma Precondition and types
Date: Fri, 3 Oct 2008 12:50:14 +0200
Date: 2008-10-03T12:50:15+02:00	[thread overview]
Message-ID: <1qbue1ke8vvqn.1ahidqz8m9ost$.dlg@40tude.net> (raw)
In-Reply-To: 48e5e771$0$6609$9b4e6d93@newsspool3.arcor-online.net

On Fri, 03 Oct 2008 11:35:45 +0200, Georg Bauhaus wrote:

> IMHO, preconditions belong to any program that is honest
> about real-life programming practices.

likewise the color of paper it is printed on...

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de



  reply	other threads:[~2008-10-03 10:50 UTC|newest]

Thread overview: 9+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2008-10-02 14:35 On pragma Precondition and types Georg Bauhaus
2008-10-02 15:02 ` Adam Beneschan
2008-10-02 23:09 ` Randy Brukardt
2008-10-03  8:59   ` Dmitry A. Kazakov
2008-10-03  9:35     ` Georg Bauhaus
2008-10-03 10:50       ` Dmitry A. Kazakov [this message]
2008-10-03 12:41         ` Georg Bauhaus
2008-10-02 23:09 ` Randy Brukardt
2008-10-02 23:09 ` 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