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=0.7 required=5.0 tests=BAYES_00,DATE_IN_PAST_03_06, FORGED_GMAIL_RCVD,FREEMAIL_FROM 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.205.134.138 with SMTP id ic10mr406553bkc.8.1339694022567; Thu, 14 Jun 2012 10:13:42 -0700 (PDT) Path: e27ni48008bkw.0!nntp.google.com!news1.google.com!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail From: Ben Hocking 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 06:49:27 -0700 (PDT) Organization: http://groups.google.com Message-ID: <3b05671a-c409-4069-9280-8376e59335fe@googlegroups.com> References: NNTP-Posting-Host: 8.25.3.17 Mime-Version: 1.0 X-Trace: posting.google.com 1339681865 14844 127.0.0.1 (14 Jun 2012 13:51:05 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Thu, 14 Jun 2012 13:51:05 +0000 (UTC) Cc: phil.jpthornley@gmail.com In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=8.25.3.17; posting-account=hKGsDAoAAAC9HB_9misjykjawYQeT_yf User-Agent: G2/1.0 Content-Type: text/plain; charset=ISO-8859-1 Date: 2012-06-14T06:49:27-07:00 List-Id: 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