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-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,32cfbb718858528b X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-06-10 13:27:13 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!bloom-beacon.mit.edu!nycmny1-snh1.gtei.net!crtntx1-snh1.gtei.net!chcgil2-snf1.gtei.net!news.gtei.net!news.binc.net!kilgallen From: Kilgallen@SpamCop.net (Larry Kilgallen) Newsgroups: comp.lang.ada Subject: Re: Commercial C To Ada 95 compiler Date: 10 Jun 2002 15:23:20 -0600 Organization: LJK Software Message-ID: References: <3D002D11.CC706952@adaworks.com> <4519e058.0206071148.9b87acf@posting.google.com> <3D0116F3.7254E263@despammed.com> <3D018106.6080004@worldnet.att.net> <3D04F442.741C386C@despammed.com> NNTP-Posting-Host: eisner.encompasserve.org X-Trace: grandcanyon.binc.net 1023740580 5298 192.135.80.34 (10 Jun 2002 20:23:00 GMT) X-Complaints-To: abuse@binc.net NNTP-Posting-Date: Mon, 10 Jun 2002 20:23:00 +0000 (UTC) Xref: archiver1.google.com comp.lang.ada:25696 Date: 2002-06-10T15:23:20-06:00 List-Id: In article <3D04F442.741C386C@despammed.com>, Wes Groleau writes: >> > to make all implicit C conversions explicit in Ada. >> >> I disagree, direct translation is possible. The order of conversions in C >> is explicitly defined. The translation would have to turn these implicit >> conversions into explicit conversions. Again, a review of the translated > > But doing so would be hiding bugs. Not all implicit > conversions in C are intended by the programmer. 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.