comp.lang.ada
 help / color / mirror / Atom feed
From: Richard Riehle <richard@adaworks.com>
Subject: Re: Overlapping ranges
Date: Sun, 29 Jun 2003 11:40:36 -0700
Date: 2003-06-29T18:37:33+00:00	[thread overview]
Message-ID: <3EFF32A4.6418F51B@adaworks.com> (raw)
In-Reply-To: 9SvLa.57431$JA5.1017892@news.xtra.co.nz

AG wrote:

> > "Richard Riehle" <richard@adaworks.com> wrote in message
> > news:3EFE3491.F968568D@adaworks.com...
>
> On second thoughts and having re-read that:
>
> > >    function Fudge (A : X1; B : X2) return Number'Base is
> > >    begin
> > >      if A in X1 then
>        -- Can this test fail here at all ?

You're right.   However, we might do other kinds of tests
to ensure the correctness of the algorithm.

Richard Riehle







  reply	other threads:[~2003-06-29 18:40 UTC|newest]

Thread overview: 13+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2003-06-22  0:40 Overlapping ranges AG
2003-06-22  1:23 ` Mark A. Biggar
2003-06-22  2:58   ` AG
2003-06-22  3:17     ` tmoran
2003-06-22 17:55   ` Robert I. Eachus
2003-06-23  9:05     ` AG
2003-06-23 10:46       ` David C. Hoos
2003-06-24  8:09         ` AG
2003-06-29  0:36 ` Richard Riehle
2003-06-29  6:24   ` AG
2003-06-29  6:42     ` AG
2003-06-29 18:40       ` Richard Riehle [this message]
2003-06-29 18:49     ` Richard Riehle
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox