From: Simon Wright <simon@pushface.org>
Subject: Re: Trouble cutting loops with SPARK. Advice?
Date: Sun, 07 Mar 2010 16:27:27 +0000
Date: 2010-03-07T16:27:27+00:00 [thread overview]
Message-ID: <m2tyssrtao.fsf@pushface.org> (raw)
In-Reply-To: f22c42d4-249f-4dab-bfc8-50a47d7647ed@b7g2000yqd.googlegroups.com
Phil Thornley <phil.jpthornley@googlemail.com> writes:
> Well - he would have learned that it isn't valid SPARK :-)
> (All initialization values must be static and slices aren't allowed
> either)
Hmpf. Much better Ada, though (IMO, of course).
prev parent reply other threads:[~2010-03-07 16:27 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-03-06 20:33 Trouble cutting loops with SPARK. Advice? Peter C. Chapin
2010-03-07 10:22 ` Phil Thornley
2010-03-07 11:04 ` Peter C. Chapin
2010-03-07 11:41 ` Phil Thornley
2010-03-07 11:20 ` Simon Wright
2010-03-07 11:43 ` Phil Thornley
2010-03-07 16:27 ` Simon Wright [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