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: f849b,b8d52151b7b306d2 X-Google-Attributes: gidf849b,public X-Google-Thread: 103376,a00006d3c4735d70 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2004-01-06 12:46:41 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!newsfeed.berkeley.edu!ucberkeley!priapus.visi.com!orange.octanews.net!news.octanews.net!news-out.visi.com!petbe.visi.com!ash.uu.net!spool.news.uu.net!not-for-mail Date: Tue, 06 Jan 2004 15:45:50 -0500 From: Hyman Rosen User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.0; en-US; rv:1.5) Gecko/20031013 Thunderbird/0.3 X-Accept-Language: en-us, en MIME-Version: 1.0 Newsgroups: comp.arch.embedded,comp.lang.ada Subject: Re: Certified C compilers for safety-critical embedded systems References: <3fe00b82.90228601@News.CIS.DFN.DE> <5802069.JsgInS3tXa@linux1.krischik.com> <1072464162.325936@master.nyc.kbcfp.com> <1563361.SfB03k3vvC@linux1.krischik.com> <11LvOkBBXw7$EAJw@phaedsys.demon.co.uk> <3ff0687f.528387944@News.CIS.DFN.DE> <1086072.fFeiH4ICbz@linux1.krischik.com> <3ff18d4d.603356952@News.CIS.DFN.DE> <1731094.1f7Irsyk1h@linux1.krischik.com> <3ff1b8ef.614528516@News.CIS.DFN.DE> <3FF1E06D.A351CCB4@yahoo.com> <3ff20cc8.635997032@News.CIS.DFN.DE> <3ff9df16.30249104@News.CIS.DFN.DE> <1665674.ZrTUW4qaQq@linux1.krischik.com> <1073409810.463948@master.nyc.kbcfp.com> In-Reply-To: Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Organization: KBC Financial Products Message-ID: <1073421950.964139@master.nyc.kbcfp.com> Cache-Post-Path: master.nyc.kbcfp.com!unknown@nightcrawler.nyc.kbcfp.com X-Cache: nntpcache 3.0.1 (see http://www.nntpcache.org/) NNTP-Posting-Host: 204.253.250.10 X-Trace: 1073421951 16558 204.253.250.10 Xref: archiver1.google.com comp.arch.embedded:6895 comp.lang.ada:4155 Date: 2004-01-06T15:45:50-05:00 List-Id: Kelly Hall wrote: > As for the C preprocessor, why not use m4 instead? Why would anyone want to > use the C preprocessor on Ada programs when there are other, better, > just-as-free, macro processors available? Because they already use the C preprocessor for C, and for IDL, and for X Window resource files, and perhaps for other things, while they have never even heard of m4. Because the configuration information with which they hope to filter their Ada source code already exists in the form of system header files in C preprocessor format. > As for smart editors that aren't smart enough, I'd suggest upgrading to > something smarter or downgrading to something dumber. Emacs and vi should > both work fine. As I said, it's an obstacle. Obstacles aren't insurmountable, just annoying. > Is it common for developers to have their programming language selection > determined by the limitations of their text editor? It's common for people to load up files in whatever editor they happen to be using at the moment. The scattered single quotes are going to look funny, and people are going to think it's an odd choice, once they realize that quoted strings aren't being delimited. > If you want to argue against Ada, you should find a better argument than "my > editor is broken". Why would I want to argue against Ada?