From: Ben Hocking <benjaminhocking@gmail.com>
Cc: phil.jpthornley@gmail.com
Subject: Re: Having problem with SPARK Ada complaining that 'No EXPRESSION can start with reserved word "OTHERS".'
Date: Thu, 14 Jun 2012 06:49:27 -0700 (PDT)
Date: 2012-06-14T06:49:27-07:00 [thread overview]
Message-ID: <3b05671a-c409-4069-9280-8376e59335fe@googlegroups.com> (raw)
In-Reply-To: <MPG.2a43f98742552744989699@news.zen.co.uk>
On Thursday, June 14, 2012 9:37:43 AM UTC-4, Phil Thornley wrote:
> In SPARK all aggregates must be qualified with the type:
>
> SomeQState : Ensemble := Ensemble'(others => Off);
Thanks, Phil. That fixed the problem in both my sample code and my real code. (In the sample code, many other warnings were then generated, but they all made perfect sense to me.)
-Ben
next prev parent reply other threads:[~2012-06-14 17:13 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-06-14 12:43 Having problem with SPARK Ada complaining that 'No EXPRESSION can start with reserved word "OTHERS".' Ben Hocking
2012-06-14 13:37 ` Phil Thornley
2012-06-14 13:49 ` Ben Hocking [this message]
2012-06-14 21:48 ` roderick.chapman
2012-06-14 13:41 ` Ludovic Brenta
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox