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: 103376,4ef4bf3098ab117 X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!postnews1.google.com!not-for-mail From: rod.chapman@praxis-cs.co.uk (Rod Chapman) Newsgroups: comp.lang.ada Subject: Re: Ada compiler differences Date: 20 Oct 2004 01:02:48 -0700 Organization: http://groups.google.com Message-ID: References: NNTP-Posting-Host: 217.205.167.130 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-Trace: posting.google.com 1098259369 4908 127.0.0.1 (20 Oct 2004 08:02:49 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Wed, 20 Oct 2004 08:02:49 +0000 (UTC) Xref: g2news1.google.com comp.lang.ada:5499 Date: 2004-10-20T01:02:48-07:00 List-Id: koma@lysator.liu.se (Magnus) wrote in message news:... > Or rather: how can I write code that really is platform (and compiler) > independent in Ada? Write the code in SPARK, which has only 2 known implementation-defined features - the range of predefined base types (which can be added by way of annotations), and the finer details of floating point (signed zeros, rounding mode etc.) Example: the port of the SPARK Examiner (written in SPARK of course...) from Solaris to Linux took...about 20 minutes, most of which was spent installing GNAT. The Examiner is about 70kloc, so hardly a trivial program. - Rod