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,4c459ff0adb576bc X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-02-20 17:08:08 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed.cwix.com!newspeer2.tds.net!sn-xit-01!sn-post-01!supernews.com!corp.supernews.com!not-for-mail From: "Randy Brukardt" Newsgroups: comp.lang.ada Subject: Re: Refactoring and Ada Date: Wed, 20 Feb 2002 18:41:17 -0600 Organization: Posted via Supernews, http://www.supernews.com Message-ID: References: <3C5AB0B7.9D75D49A@grammatech.com> <3c639940@pull.gecm.com> <4519e058.0202080714.1bf916bb@posting.google.com> <3C65BFF4.F15A07D0@earthlink.net> <3C7324BF.996E182B@adaworks.com> X-Newsreader: Microsoft Outlook Express 4.72.3612.1700 X-MimeOLE: Produced By Microsoft MimeOLE V4.72.3719.2500 X-Complaints-To: newsabuse@supernews.com Xref: archiver1.google.com comp.lang.ada:20189 Date: 2002-02-20T18:41:17-06:00 List-Id: >No, I was asking for the exegesis in terms of the RM for Richard's much more >sweeping "comdemnation" of the attribute. ("Condemnation" is too strong here, >but you get the idea.) Reading AI-167 might help some (http://www.ada-auth.org/cgi-bin/cvsweb.cgi/AIs/AI-00167.TXT?rev=1.5). But this AI is still under construction (it is not, and never has been, approved, contrary to the statement of someone else here), and undoubtably will change. We (the ARG) spent a couple of hours discussing this at the recent ARG meeting (which Richard attended), but I'm not sure that we're really any closer to a resolution. The main problem is that the obvious solutions have an unacceptable performance cost for applications that don't put invalid values through Unchecked_Conversion. The problem rule is 13.9.1(12), which makes the CALL to Unchecked_Conversion erroneous if the result is invalid. And this rule is intended (I forget why, Bob?). This was the last item discussed on Monday, so the desire to go to dinner may have pushed us to a resolution that won't hold up. The minutes of the meeting will have more information, but they won't able available for a while yet. Randy Brukardt ARG Editor