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,FREEMAIL_FROM autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,be23df8e7e275d73 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-09-04 21:11:42 PST Path: archiver1.google.com!newsfeed.google.com!sn-xit-02!supernews.com!newsfeed.direct.ca!look.ca!logbridge.uoregon.edu!hardy.tc.umn.edu!laurel.tc.umn.edu!not-for-mail From: brentcarnellis@hotmail.com Newsgroups: comp.lang.ada Subject: Re: More Uniform Ada libraries (was: Proving Correctness) Date: Wed, 05 Sep 2001 04:13:01 GMT Organization: Impossible Message-ID: <3b95a622.10966074@news.tc.umn.edu> References: <9kea9a$lsc$1@nh.pace.co.uk> <9keduf$qvc$1@a1-hrz.uni-duisburg.de> <9kelv1$riq$1@a1-hrz.uni-duisburg.de> <9krkfa$g12$1@nh.pace.co.uk> <3b9456ca.15085013@news.tc.umn.edu> X-Trace: laurel.tc.umn.edu 999663072 4424 134.84.255.20 (5 Sep 2001 04:11:12 GMT) X-Complaints-To: usenet@laurel.tc.umn.edu X-Newsreader: Forte Free Agent 1.11/32.235 Xref: archiver1.google.com comp.lang.ada:12730 Date: 2001-09-05T04:13:01+00:00 List-Id: On Wed, 05 Sep 2001 00:01:17 GMT, "Jeff Creem" wrote: > wrote in message >> On Thu, 09 Aug 2001 07:47:46 GMT, "nicolas" >> wrote: >> > >> >Aonix Objectada is excellent for us, except that link time is far too >long >> >for our applications and cannot be used today for dayly development >> >When the link time is 12mns instead of 20s, and has to be done 10 or 20 >> >times a day, it is a problem. >> >> You have something royally screwed up in your environment. >> Meaty-sized 50 Megabyte executables link in about 10 seconds with GNAT >> (Sun, SGI, Linux, etc). >> >> >Will Aonix go on with Ada ? some have doubts >> > >> >Rational Apex is not bad, but still have some little problems >> >> No Apex has big problems for student programs, like not doing >> Text_IO.Get_Line correctly. >> > >Hmm.. I have had my share of complaints over the years with Apex but not >doing Text_IO.Get_Line correctly was never one of them...There are probably >literally > 100 million lines of code of Ada compiled with Apex deployed in >the world so to >assume that it is that broken on a regular basis is.....odd.. Yes, once fixed it will be a regression test nightmare for Rational. For example, if you do the following, don't expect it to work over a remote pipe. with Text_IO; procedure Hello_World is Text : String(1..100); Len : Integer; begin loop Text_IO.Get_Line(Text, Len); Text_IO.Put_Line("[Hello World] " & Text(1..Len)); end loop; end; $ rsh ilab-02 hello_world eat me where is the response? [Hello World] eat me what? [Hello World] where is the response? what? [Hello World] what? thanks [Hello World] what? you suck [Hello World] thanks bye [Hello World] you suck