From: Kilgallen@SpamCop.net (Larry Kilgallen)
Subject: Re: Ada compiler differences
Date: 21 Oct 2004 08:55:36 -0500
Date: 2004-10-21T08:55:36-05:00 [thread overview]
Message-ID: <S$FPKXVJJV$y@eisner.encompasserve.org> (raw)
In-Reply-To: cf2c6063.0410200002.7d8f4228@posting.google.com
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" :-)
next prev parent reply other threads:[~2004-10-21 13:55 UTC|newest]
Thread overview: 30+ messages / expand[flat|nested] mbox.gz Atom feed top
2004-10-18 12:47 Ada compiler differences Magnus
2004-10-18 14:01 ` Jacob Sparre Andersen
2004-10-18 18:31 ` Luke A. Guest
2004-10-18 19:55 ` Nick Roberts
2004-10-19 20:52 ` Luke A. Guest
2004-10-20 1:16 ` Jeffrey Carter
2004-10-18 21:03 ` Martin Dowie
2004-10-19 2:11 ` Jeffrey Carter
2004-10-18 20:36 ` Nick Roberts
2004-10-18 21:48 ` Mark H Johnson
2004-10-19 14:49 ` Larry Kilgallen
2004-10-19 20:32 ` Mark H Johnson
2004-10-20 16:48 ` Warren W. Gay VE3WWG
2004-10-21 13:54 ` Larry Kilgallen
2004-10-21 20:57 ` Warren W. Gay VE3WWG
2004-10-21 21:05 ` Mark H Johnson
2004-10-26 15:23 ` Larry Kilgallen
2004-10-26 21:21 ` Mark H Johnson
2004-10-27 4:39 ` Larry Kilgallen
2004-10-27 13:49 ` Mark H Johnson
2004-10-20 8:02 ` Rod Chapman
2004-10-21 13:55 ` Larry Kilgallen [this message]
2004-10-22 8:13 ` Rod Chapman
-- strict thread matches above, loose matches on Subject: below --
2004-10-20 1:32 Stephen Leake
2004-10-20 5:47 ` Simon Wright
2004-10-26 0:28 ` Randy Brukardt
2004-10-20 13:05 Stephen Leake
2004-10-20 17:17 ` Nick Roberts
2004-10-20 19:44 ` Simon Wright
2004-10-21 21:02 ` Nick Roberts
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox