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.1 required=5.0 tests=BAYES_00,
	PP_MIME_FAKE_ASCII_TEXT autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII
X-Google-Thread: 103376,be23df8e7e275d73
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-08-06 09:14:35 PST
Path: 
 archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed00.sul.t-online.de!t-online.de!grolier!proxad.net!feeder2-1.proxad.net!nnrp6.proxad.net.POSTED!not-for-mail
From: "nicolas" <n.brunot@cadwin.com>
Newsgroups: comp.lang.ada
References: <mailman.995648003.8404.comp.lang.ada@ada.eu.org>
 <9jrt62$38t$1@nh.pace.co.uk> <3B619A6D.5DD6E782@home.com>
 <DF897.3617$ee.3921026@nnrp5.proxad.net> <3B6636BA.96FD8348@home.com>
 <TLt97.9335$Xa.790630@nnrp4.proxad.net> <9kb3ub$hdo$1@a1-hrz.uni-duisburg.de>
 <yy9a7.3017$ss3.4363386@nnrp6.proxad.net>
 <9kchn1$lng$1@a1-hrz.uni-duisburg.de>
 <R1ta7.4077$ke.4769807@nnrp6.proxad.net> <9kea9a$lsc$1@nh.pace.co.uk>
 <9keduf$qvc$1@a1-hrz.uni-duisburg.de>
 <Reza7.18403$px7.4304991@nnrp1.proxad.net>
 <9kelv1$riq$1@a1-hrz.uni-duisburg.de>
 <dVsb7.5035$2i4.5346431@nnrp6.proxad.net> <ulmkxuy80.fsf@wanadoo.fr>
 <bFxb7.6327$bO7.5653610@nnrp6.proxad.net> <u4rrlur8g.fsf@wanadoo.fr>
Subject: Re: Proving Correctness (was Java Portability)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 5.00.2919.6700
X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2919.6700
Message-ID: <Lnzb7.6377$6L.5741656@nnrp6.proxad.net>
Date: Mon, 06 Aug 2001 16:14:35 GMT
NNTP-Posting-Host: 195.101.131.241
X-Complaints-To: abuse@proxad.net
X-Trace: nnrp6.proxad.net 997114475 195.101.131.241 (Mon,
 06 Aug 2001 18:14:35 CEST)
NNTP-Posting-Date: Mon, 06 Aug 2001 18:14:35 CEST
Organization: Guest of ProXad - France
Xref: archiver1.google.com comp.lang.ada:11388
Date: 2001-08-06T16:14:35+00:00
List-Id: <comp.lang.ada>

"Pascal Obry" <p.obry@wanadoo.fr> a �crit dans le message news:
u4rrlur8g.fsf@wanadoo.fr...
> I agree. But at least ACT has done a job that nobody else have done
before!

Nobody else have done it, and that's the first biggest problem.
The second biggest problem is that GNAT.xx is truly great for people who
decided to be tied to Gnat compiler, and almost useless to others, unless
they are ready to loose their time to adapt it, and follow its evolution,
each one finally having its own slightly different version of the same
things, each one loosing its time making again the same job in parallel.
I don't think being tied to one compiler is a sensible decision for a
company choosing Ada.
This goes against main reasons of Ada choice, and there is no justification
for such a decision.

I don't see why this standardisation job couldn't be made with GNU.
It wouln't be very difficult to have a standard Ada library tree, with first
absolute rule that those libraries must run with main Ada compilers on main
platforms, Windows in first place.
It's up to Ada vendors to settle that, not to Ada fans to run each one in
their own direction, telling :
"I've done a great job, specific to my compiler/platform, why don't you
adapt it to your compiler/platform ?"

No need to wait for Gnat integration in GCC 3.xx for that.