comp.lang.ada
 help / color / mirror / Atom feed
From: Georg Bauhaus <rm.tsoh.plus-bug.bauhaus@maps.futureapps.de>
Subject: Re: On pragma Precondition and types
Date: Fri, 03 Oct 2008 14:41:09 +0200
Date: 2008-10-03T14:41:09+02:00	[thread overview]
Message-ID: <48e612e5$0$28906$9b4e6d93@newsspool1.arcor-online.net> (raw)
In-Reply-To: <1qbue1ke8vvqn.1ahidqz8m9ost$.dlg@40tude.net>

Dmitry A. Kazakov wrote:
> 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...

Right, black ink does not work well on black paper.



  reply	other threads:[~2008-10-03 12:41 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-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
2008-10-03 12:41         ` Georg Bauhaus [this message]
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