From: roderick.chapman@googlemail.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 14:48:24 -0700 (PDT)
Date: 2012-06-14T14:48:24-07:00 [thread overview]
Message-ID: <3020df16-3e33-4f8b-b04b-1615957f4cb6@googlegroups.com> (raw)
In-Reply-To: <3b05671a-c409-4069-9280-8376e59335fe@googlegroups.com>
Ben,
In the documents that come with the GPL edition, see section 4.3 of SPARK_LRM.pdf - the rules
are clearly stated there.
- Rod Chapman, SPARK Team
next prev parent reply other threads:[~2012-06-14 21:49 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
2012-06-14 21:48 ` roderick.chapman [this message]
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