From: Maciej Sobczak <see.my.homepage@gmail.com>
Subject: Re: SPARK - runtime checks question
Date: Fri, 19 Jun 2009 08:31:11 -0700 (PDT)
Date: 2009-06-19T08:31:11-07:00 [thread overview]
Message-ID: <3edd630c-2372-4fc9-a3d0-3dbbb0643243@z5g2000vba.googlegroups.com> (raw)
In-Reply-To: 8d79ac48-d35d-4717-aca3-68f036de0de3@f16g2000vbf.googlegroups.com
On 19 Cze, 17:26, Maciej Sobczak <see.my.homep...@gmail.com> wrote:
> Result := X - Y; // line 8
> else
> Result := Y - X; // line 10
Oops - as you can imagine, these strange foreign-looking comments were
added later on. :-)
--
Maciej Sobczak * www.msobczak.com * www.inspirel.com
Database Access Library for Ada: www.inspirel.com/soci-ada
next prev parent reply other threads:[~2009-06-19 15:31 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 [this message]
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
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox