From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: *** X-Spam-Status: No, score=3.2 required=5.0 tests=BAYES_00,DATE_IN_PAST_06_12, FORGED_GMAIL_RCVD,FREEMAIL_FROM,FREEMAIL_REPLYTO,REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: a07f3367d7,62673a6f294b6ea4 X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,ASCII-7-bit Received: by 10.204.149.210 with SMTP id u18mr555388bkv.1.1339714522002; Thu, 14 Jun 2012 15:55:22 -0700 (PDT) Path: e27ni48974bkw.0!nntp.google.com!news1.google.com!news2.google.com!goblin1!goblin.stu.neva.ru!news2.euro.net!multikabel.net!newsfeed20.multikabel.net!dedekind.zen.co.uk!zen.net.uk!hamilton.zen.co.uk!reader01.nrc01.news.zen.net.uk.POSTED!not-for-mail From: Phil Thornley Newsgroups: comp.lang.ada 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 Message-ID: References: Reply-To: phil.jpthornley@gmail.com MIME-Version: 1.0 User-Agent: MicroPlanet-Gravity/3.0.4 Organization: Zen Internet NNTP-Posting-Host: 5203fc60.news.zen.co.uk X-Trace: DXC=OOdB_om54;FgN9e0JNPkjOa0UP_O8AJoL=dR0\ckLKG@WeZ<[7LZNRF5IeCI\ig@TFUhLi?]0KG=Km@JIjH1P1<@fb[477J_\XB X-Complaints-To: abuse@zen.co.uk Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Date: 2012-06-14T14:37:43+01:00 List-Id: In article , 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