From: sjw <simon.j.wright@mac.com>
Subject: Re: SPARK - Bubble Sort on Rosetta Code
Date: Fri, 27 Aug 2010 04:03:13 -0700 (PDT)
Date: 2010-08-27T04:03:13-07:00 [thread overview]
Message-ID: <7462e56f-3cc3-41af-a52d-de47023287cf@q1g2000yqg.googlegroups.com> (raw)
In-Reply-To: eefb617d-9b91-4569-9baf-9697ca455752@z28g2000yqh.googlegroups.com
On Aug 27, 8:57 am, Phil Thornley <phil.jpthorn...@gmail.com> wrote:
> On 26 Aug, 23:32, Simon Wright <si...@pushface.org> wrote:>
> > What would non-SPARK code do to make it fail?
>
> Get one of the bounds on the inner loop wrong? Get the termination
> condition wrong for the outer loop and increment the pointer past the
> end?
Sorry for lack of clarity. The page says "guaranteed free of any run-
time error when called from any other SPARK code", and I meant, how
might *this* code fail when called from other *non-SPARK* code? (T
next prev parent reply other threads:[~2010-08-27 11:03 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-08-26 9:18 SPARK - Bubble Sort on Rosetta Code Phil Thornley
2010-08-26 21:40 ` Yannick Duchêne (Hibou57)
2010-08-27 4:28 ` Yannick Duchêne (Hibou57)
2010-08-27 7:35 ` Phil Thornley
2010-08-27 8:04 ` Yannick Duchêne (Hibou57)
2010-08-26 22:32 ` Simon Wright
2010-08-27 0:38 ` Yannick Duchêne (Hibou57)
2010-08-27 7:57 ` Phil Thornley
2010-08-27 9:02 ` Phil Thornley
2010-08-27 11:03 ` sjw [this message]
2010-08-27 12:03 ` Phil Thornley
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox