From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,3737542e2ed2b8e1
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news2.google.com!news3.google.com!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: "(see below)" <yaldnif.w@blueyonder.co.uk>
Newsgroups: comp.lang.ada
Subject: Re: Problem with optimizations
Date: Wed, 29 Apr 2009 04:28:53 +0100
Message-ID: <C61D8805.115100%yaldnif.w@blueyonder.co.uk>
References: <49f73730$0$2850$ba620e4c@news.skynet.be>
 <C61D0C17.115054%yaldnif.w@blueyonder.co.uk>
  <49f753b9$0$2861$ba620e4c@news.skynet.be>
 <C61D139D.115065%yaldnif.w@blueyonder.co.uk>
 <fbc5b194-ff66-422f-a163-a8b38b93f20c@a5g2000pre.googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain;
	charset="ISO-8859-1"
Content-Transfer-Encoding: 8bit
X-Trace: individual.net GtfNme45MxHEB44n+mBbPAj3aaRiDA2nJRLNkYSskASxeU2bCC
Cancel-Lock: sha1:d4lobnoKy3trHAd9GEqKBYUIiIM=
User-Agent: Microsoft-Entourage/12.15.0.081119
Thread-Topic: Problem with optimizations
Thread-Index: AcnIep6lXnqvoCvtFUmetIcHe+T1pQ==
Xref: g2news2.google.com comp.lang.ada:5606
Date: 2009-04-29T04:28:53+01:00
List-Id: <comp.lang.ada>

On 29/04/2009 03:35, in article
fbc5b194-ff66-422f-a163-a8b38b93f20c@a5g2000pre.googlegroups.com, "Gene"
<gene.ressler@gmail.com> wrote:

> On Apr 28, 3:12�pm, "(see below)" <yaldni...@blueyonder.co.uk> wrote:
>> On 28/04/2009 20:06, in article 49f753b9$0$2861$ba620...@news.skynet.be,
>> 
>> "Olivier Scalbert" <olivier.scalb...@algosyn.com> wrote:
>>> So an Ada compiler can compile incorrect programs !
>>> ;-)
>> 
>> It has no alternative, thanks to Turing.
>> 8-) | 8-(
>> 
>> --
>> Bill
>> "To explain the unknown by the known is a logical procedure; to explain
>> the known by the unknown is a form of theological lunacy." David Brooks- Hide
>> quoted text -
> 
> Well... Thanks to God and/or nature, wherein Turing had some insight...

Indeed, it's thanks to Turing (et al.) that we can allow compilers to err,
and do not in ignorance demand an unattainable perfection.

As for God, see below.

-- 
Bill Findlay
<surname><forename> chez blueyonder.co.uk
"God is, as it were, the sewer into which all contradictions flow." G. Hegel