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,d495ab2e69ad1962 X-Google-Attributes: gid103376,public,usenet X-Google-Language: ENGLISH,ASCII Message-ID: <46E28F26.3030805@obry.net> Date: Sat, 08 Sep 2007 14:01:42 +0200 From: Pascal Obry Organization: Home - http://www.obry.net User-Agent: Thunderbird 2.0.0.4 (Windows/20070604) MIME-Version: 1.0 Newsgroups: comp.lang.ada To: Niklas Holsti Subject: Re: Ravenscar-compliant bounded buffer References: <1188914005.607732.277400@57g2000hsv.googlegroups.com> <1189194299.326741.151840@50g2000hsm.googlegroups.com> <46e28a6a$0$27847$39db0f71@news.song.fi> In-Reply-To: <46e28a6a$0$27847$39db0f71@news.song.fi> Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit NNTP-Posting-Date: 08 Sep 2007 14:01:45 CEST NNTP-Posting-Host: 82.120.153.225 X-Trace: 1189252905 news.orange.fr 5074 82.120.153.225:2642 X-Complaints-To: abuse@orange.fr Path: g2news2.google.com!news2.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newsfeed00.sul.t-online.de!t-online.de!tiscali!newsfeed1.ip.tiscali.net!proxad.net!feeder1-2.proxad.net!feed.ac-versailles.fr!uvsq.fr!freenix!news.wanadoo.fr!news.wanadoo.fr!not-for-mail Xref: g2news2.google.com comp.lang.ada:1815 Date: 2007-09-08T14:01:45+02:00 List-Id: Niklas Holsti a �crit : > Saying that GNAT generates C code is nonsense, as you have been answered > earlier on this newsgroup. The GU Compiler Collection has a common Well anon says thousand of wrong things but he did not say that GNAT generates C code in its previous message :) Pascal. -- --|------------------------------------------------------ --| Pascal Obry Team-Ada Member --| 45, rue Gabriel Peri - 78114 Magny Les Hameaux FRANCE --|------------------------------------------------------ --| http://www.obry.net --| "The best way to travel is by means of imagination" --| --| gpg --keyserver wwwkeys.pgp.net --recv-key C1082595