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-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,ec4a7355f321a22b
X-Google-Attributes: gid103376,public
Path: 
 controlnews3.google.com!news2.google.com!news.maxwell.syr.edu!c03.atl99!atl-c02.usenetserver.com!news.usenetserver.com!border1.nntp.dca.giganews.com!nntp.giganews.com!local1.nntp.dca.giganews.com!nntp.megapath.net!news.megapath.net.POSTED!not-for-mail
NNTP-Posting-Date: Tue, 25 May 2004 15:25:10 -0500
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
References: <40ACC50E.9040406@mail.usyd.edu.au>
 <mailman.1.1085073466.401.comp.lang.ada@ada-france.org>
 <c8itt3$gkq$1@titan.btinternet.com> <40adcdfe_1@baen1673807.greenlnk.net>
 <c8kti8$p07$1@titan.btinternet.com> <YIadnaE4uYUXxjPd4p2dnA@megapath.net>
 <c8luk4$29b$1@hercules.btinternet.com> <qs2dndOX7I9aEDPdRVn-gw@megapath.net>
 <c8n11h$5qi$1@hercules.btinternet.com> <vpGdnbX1YZHq9y_d4p2dnA@megapath.net>
 <c8umnc$lqt$1@sparta.btinternet.com>
Subject: Re: Task discriminants
Date: Tue, 25 May 2004 15:25:13 -0500
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 5.50.4807.1700
X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4910.0300
Message-ID: <0pGdnb8KMtY7Ni7dRVn-jw@megapath.net>
NNTP-Posting-Host: 64.32.209.38
X-Trace: 
 sv3-r2ieYKXogd817sWKJzUadLtw00QUCw4bqZM1L0G96OeeEbu67J+kDGQryujIswPlgkGKIXUijwCTFZ0!mvFTuDWMRmlMLbOEH5Op9XuPgN33NGPbHm/+Dfwh3ZapCIODU4bCrPzHliTo7lPKZpLUN/Nvd7F6
X-Complaints-To: abuse@megapath.net
X-DMCA-Complaints-To: abuse@megapath.net
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint
 properly
X-Postfilter: 1.1
Xref: controlnews3.google.com comp.lang.ada:822
Date: 2004-05-25T15:25:13-05:00
List-Id: <comp.lang.ada>

"Martin Dowie" <martin.dowie@btopenworld.com> wrote in message
news:c8umnc$lqt$1@sparta.btinternet.com...
> "Randy Brukardt" <randy@rrsoftware.com> wrote in message
> news:vpGdnbX1YZHq9y_d4p2dnA@megapath.net...
> > Just because it works in some particular case doesn't mean that it will
work
> > in all cases.
>
> Absolutely! But that was kind of my question - is there any implementation
> that won't give the desired result in this case? Not to my knowledge but
then
> I don't have access to every implementation...

I meant even on a particular implementation. A different setting of
optimization flags, a different expression in the discriminant default, and
an implementation that appears to work on your test program could do
something different. So just because you have some instance of it that works
with some particular set of compiler switches does not mean that that
implementation "gives the desired result" in general. Only your implementor
could really tell you, and even they might not know for sure.

                           Randy.