From: Maciej Sobczak <see.my.homepage@gmail.com>
Subject: Re: SPARK - runtime checks question
Date: Fri, 19 Jun 2009 14:16:56 -0700 (PDT)
Date: 2009-06-19T14:16:56-07:00 [thread overview]
Message-ID: <37f397cf-1a80-4182-a30f-7e10be653868@l21g2000vba.googlegroups.com> (raw)
In-Reply-To: 14f911e0-bd4c-4068-bae7-3d234cbed652@x1g2000prh.googlegroups.com
On 19 Cze, 20:33, Adam Beneschan <a...@irvine.com> wrote:
> Apologies in advance for answering a question you didn't ask, but...
> any reason not to simply return abs(X-Y)?
Sure. This example was a minimal version of the problem which I have
found while fooling around with some other algorithm. I did not want
to complicate the discussion and posted the smallest function that
still exhibits the same issue and also makes sense in isolation.
--
Maciej Sobczak * www.msobczak.com * www.inspirel.com
Database Access Library for Ada: www.inspirel.com/soci-ada
prev parent reply other threads:[~2009-06-19 21:16 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-06-19 15:26 SPARK - runtime checks question Maciej Sobczak
2009-06-19 15:31 ` Maciej Sobczak
2009-06-19 16:04 ` Rod Chapman
2009-06-19 18:29 ` Adam Beneschan
2009-06-19 18:55 ` Rod Chapman
2009-06-19 21:38 ` Maciej Sobczak
2009-06-19 18:33 ` Adam Beneschan
2009-06-19 21:16 ` Maciej Sobczak [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox