From: Georg Bauhaus <rm.tsoh.plus-bug.bauhaus@maps.futureapps.de>
Subject: Re: SPARK - refactoring and refinement of own state
Date: Thu, 20 Aug 2009 09:37:40 +0200
Date: 2009-08-20T09:37:43+02:00 [thread overview]
Message-ID: <4a8cfd47$0$30230$9b4e6d93@newsspool1.arcor-online.net> (raw)
In-Reply-To: <4cc6e9da-9a4a-4a9a-8748-4c5c4a3e9362@z28g2000vbl.googlegroups.com>
Maciej Sobczak wrote:
> However, the examiner says:
>
> 4 package body Greetings
> ^
> *** Syntax Error : No DOTTED_SIMPLE_NAME can start with
> reserved
> word "BODY".
FWIW, there is a rule about Ada with-ing versus SPARK with-ing
that explains, IIRC, that the #clauses must go before
the package spec, in SPARK, not just the body. It's in the
SPARK book somewhere.
next prev parent reply other threads:[~2009-08-20 7:37 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-08-20 7:18 SPARK - refactoring and refinement of own state Maciej Sobczak
2009-08-20 7:37 ` Georg Bauhaus [this message]
2009-08-20 8:06 ` Rod Chapman
2009-08-20 8:11 ` Rod Chapman
2009-08-20 8:44 ` Maciej Sobczak
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox