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=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: a07f3367d7,9abafc402a91a18d X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news2.google.com!news1.google.com!border1.nntp.dca.giganews.com!border2.nntp.dca.giganews.com!nntp.giganews.com!backlog2.nntp.dca.giganews.com!nntp.brightview.co.uk!news.brightview.co.uk.POSTED!not-for-mail NNTP-Posting-Date: Fri, 05 Jun 2009 15:37:59 -0500 Date: Fri, 05 Jun 2009 21:37:56 +0100 From: Tim Rowe User-Agent: Thunderbird 2.0.0.21 (Windows/20090302) MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: Newby-ish question -- SPARK v. Ada2005 problem References: <74074524-bae8-4426-a75e-d0681e7c670b@g20g2000vba.googlegroups.com> In-Reply-To: <74074524-bae8-4426-a75e-d0681e7c670b@g20g2000vba.googlegroups.com> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Message-ID: X-Usenet-Provider: http://www.giganews.com X-Trace: sv3-CXi06M/cxlFU16KY8A6Kg/QXI7lqk/GZMaINtju5nFNrx8pQ7Fd48O+r7ZfRlwc2tVp1cwhDFSgYd1v!NM+qPSgqxCbR5nbzUYhl3C5YKyKYO18mL0gX0y6ugQyj0vR7k1zwcu3d7VRhuFxON30kj4w+v1WC!qzUIoIUV4eSYGBqmth7zzQS6PeU= X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly X-Postfilter: 1.3.39 X-Original-Bytes: 1637 Xref: g2news2.google.com comp.lang.ada:6316 Date: 2009-06-05T21:37:56+01:00 List-Id: roderick.chapman@googlemail.com wrote: > Basically, you're correct - Tokeneer is written in SPARK95, > so you need the -gnat95 switch to compile. This is specified > in the code/common.gpr project file that accompanies the > release. I was wondering about my own new code -- is there a way I could have written that function in Ada 2005 and still be compatible with SPARK?