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=-0.3 required=5.0 tests=BAYES_00,FREEMAIL_FROM, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,32cfbb718858528b X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-06-10 14:24:08 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!bloom-beacon.mit.edu!nycmny1-snh1.gtei.net!news.gtei.net!newsfeed.mathworks.com!cyclone.swbell.net!bos-service1.ext.raytheon.com!bos-service2.ext.raytheon.com.POSTED!not-for-mail Message-ID: <3D05132C.3B45562F@despammed.com> From: Wes Groleau Reply-To: wesgroleau@despammed.com X-Mailer: Mozilla 4.77 [en] (Windows NT 5.0; U) X-Accept-Language: en,es-MX,es,pt,fr-CA,fr MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: Commercial C To Ada 95 compiler References: <3D002D11.CC706952@adaworks.com> <4519e058.0206071148.9b87acf@posting.google.com> <3D0116F3.7254E263@despammed.com> <3D018106.6080004@worldnet.att.net> <3D04F442.741C386C@despammed.com> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Date: Mon, 10 Jun 2002 15:59:24 -0500 NNTP-Posting-Host: 151.168.144.162 X-Complaints-To: news@ext.ray.com X-Trace: bos-service2.ext.raytheon.com 1023742781 151.168.144.162 (Mon, 10 Jun 2002 16:59:41 EDT) NNTP-Posting-Date: Mon, 10 Jun 2002 16:59:41 EDT Organization: Raytheon Company Xref: archiver1.google.com comp.lang.ada:25700 Date: 2002-06-10T15:59:24-05:00 List-Id: > It seems to me making the implicit conversions into expliccit conversions > would be "unhiding" them. Some standard comment text to indicate an > unreviewed conversion could be inserted in the output source. What I'm saying is that in C, implicit conversions are three kinds: 1. Intentional documented implementation decisions 2. Intentional undocumented implementation decisions 3. Careless mistakes, whether harmful or not. An automatic translator cannot tell the difference. Usually, neither can a human translator. Making all of them explicit conversions hides the bugs unless you comment them as you say. Not making any explicit will show all the bugs, but it forces you to identify and fix all the ones that are not bugs before you can compile. -- Wes Groleau http://freepages.rootsweb.com/~wgroleau