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-Thread: a07f3367d7,6327f05d4989a68d X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,ASCII-7-bit X-Received: by 10.180.86.201 with SMTP id r9mr9879951wiz.4.1356839640669; Sat, 29 Dec 2012 19:54:00 -0800 (PST) Path: l12ni269292wiv.1!nntp.google.com!feeder3.cambriumusenet.nl!feed.tweaknews.nl!194.109.133.81.MISMATCH!newsfeed.xs4all.nl!newsfeed2.news.xs4all.nl!xs4all!newspeer1.nac.net!border4.nntp.dca.giganews.com!border2.nntp.dca.giganews.com!nrc-news.nrc.ca!border3.nntp.dca.giganews.com!border1.nntp.dca.giganews.com!nntp.giganews.com!local2.nntp.dca.giganews.com!news.giganews.com.POSTED!not-for-mail NNTP-Posting-Date: Thu, 27 Dec 2012 09:03:29 -0600 Date: Thu, 27 Dec 2012 10:03:28 -0500 From: "Peter C. Chapin" User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/17.0 Thunderbird/17.0 MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: Exception contracts for Ada? Was: Re: Press Release - Ada 2012 Language Standard Approved by ISO References: <7wrdmbre6jw9.qww9l0uzj6mg.dlg@40tude.net> <14oqoq06zhlu2.tcasif3hdyhw.dlg@40tude.net> <1drh1q1ln2dfh$.a9hwlg01fjfy.dlg@40tude.net> <50d6365d$0$6577$9b4e6d93@newsspool3.arcor-online.net> <1pbg79bz92j3t$.sz41zduivjfp.dlg@40tude.net> <46idnVdMEr8J5EXN4p2dnAA@giganews.com> In-Reply-To: Message-ID: <-oOdnYDVxrbc_kHNRVn_vwA@giganews.com> X-Usenet-Provider: http://www.giganews.com X-Trace: sv3-8659VY0JztdnHhwuYrbFXpLkHR4DOfAeVDAbikU0zEpsSvVGdJ4Dx1KLyG2Ow33is8xE4Wv4NtYw2dr!uSaP8QBY34RhJcG8Woe82NBlhUk2Ksmz7xUP8LUlRuT3Yi17BDjozRQgM3GfjNk= X-Complaints-To: abuse@giganews.com X-DMCA-Notifications: http://www.giganews.com/info/dmca.html X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly X-Postfilter: 1.3.40 X-Original-Bytes: 3123 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Date: 2012-12-27T10:03:28-05:00 List-Id: On 12/26/2012 09:16 PM, Randy Brukardt wrote: > I hope you don't think that I just wrote this up based on absolutely > nothing -- I've been thinking about how this would work since we started > working on Claw...and I've taken input from many members of the ARG. (As > well as discussions on these topics that the ARG had for Ada 2005, and a > lengthy e-mail thread that we had specifically on the topic of what Java did > wrong here). We have not yet had a formal discussion on this particular > proposal, and I'm certain that it isn't 100% correct at this point (I must > have forgotten something!). But it's rather insulting to have someone claim > that it hasn't been given proper consideration before making a proposal (or > to imply that the ARG would simply adopt something without thinking about > it). Randy, I think you misunderstood my comment. I was not trying to suggest that the ARG has been deficient in their reflections on this subject. In fact, I know it is the opposite and I know that you personally are very careful in your approach to these kinds of questions. I actually have the utmost faith in the ARG. Things like AI12-0017-1 and all the conversations related to it is proof that my faith is well founded. In fact, my comments were actually intended to be supportive even if they perhaps did not come out that way. For that I apologize. Peter