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!news2.google.com!newsfeed2.dallas1.level3.net!news.level3.com!news.illinois.net!attcg1!ip.att.net!news.binc.net!kilgallen
From: Kilgallen@SpamCop.net (Larry Kilgallen)
Newsgroups: comp.lang.ada
Subject: Re: Ada compiler differences
Date: 21 Oct 2004 08:55:36 -0500
Organization: LJK Software
Message-ID: <S$FPKXVJJV$y@eisner.encompasserve.org>
References: <dac02c02.0410180447.1a4ed08b@posting.google.com>
 <cf2c6063.0410200002.7d8f4228@posting.google.com>
NNTP-Posting-Host: eisner.encompasserve.org
X-Trace: grandcanyon.binc.net 1098366869 27264 192.135.80.34 (21 Oct 2004
 13:54:29 GMT)
X-Complaints-To: abuse@binc.net
NNTP-Posting-Date: Thu, 21 Oct 2004 13:54:29 +0000 (UTC)
Xref: g2news1.google.com comp.lang.ada:5581
Date: 2004-10-21T08:55:36-05:00
List-Id: <comp.lang.ada>

In article <cf2c6063.0410200002.7d8f4228@posting.google.com>, rod.chapman@praxis-cs.co.uk (Rod Chapman) writes:
> koma@lysator.liu.se (Magnus) wrote in message news:<dac02c02.0410180447.1a4ed08b@posting.google.com>...
>> 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 -

I suppose an _unknown_ implementation-defined feature is defined by the
term "bug"  :-)