From: Phil Thornley <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 14:37:43 +0100
Date: 2012-06-14T14:37:43+01:00 [thread overview]
Message-ID: <MPG.2a43f98742552744989699@news.zen.co.uk> (raw)
In-Reply-To: a3be9ddf-413a-475d-839c-6994473df43a@googlegroups.com
In article <a3be9ddf-413a-475d-839c-6994473df43a@googlegroups.com>,
benjaminhocking@gmail.com says...
>
> The following is a simple test program to demonstrate the issue.
> test.ads:
In SPARK all aggregates must be qualified with the type:
SomeQState : Ensemble := Ensemble'(others => Off);
This isn't particularly clear in any of the documentation, but see
Section 4.3 of the SPARK LRM or page 110 of the book (High Integrity
Software by John Barnes).
Cheers,
Phil
next prev parent reply other threads:[~2012-06-14 22:55 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 [this message]
2012-06-14 13:49 ` Ben Hocking
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