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.4 required=5.0 tests=BAYES_00,FORGED_MUA_MOZILLA autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: a07f3367d7,ea5071f634c2ea8b X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,ASCII Received: by 10.204.0.73 with SMTP id 9mr2410014bka.4.1321908030461; Mon, 21 Nov 2011 12:40:30 -0800 (PST) Path: dq5ni36053bkb.0!nntp.google.com!news1.google.com!volia.net!news2.volia.net!feed-A.news.volia.net!news.musoftware.de!wum.musoftware.de!news.swapon.de!eternal-september.org!feeder.eternal-september.org!.POSTED!not-for-mail From: "J-P. Rosen" Newsgroups: comp.lang.ada Subject: Re: Generic-Package Elaboration Question / Possible GNAT Bug. Date: Mon, 21 Nov 2011 21:40:30 +0100 Organization: A noiseless patient Spider Message-ID: References: <7bf9bc32-850a-40c6-9ae2-5254fe220533@f29g2000yqa.googlegroups.com> <4295dc09-43de-4557-a095-fc108359f27f@y42g2000yqh.googlegroups.com> <3snehoqgs8ia$.1nobjem6g6hx6$.dlg@40tude.net> <128rdz2581345$.c4td19l7qp9z$.dlg@40tude.net> Mime-Version: 1.0 Injection-Date: Mon, 21 Nov 2011 20:40:29 +0000 (UTC) Injection-Info: mx04.eternal-september.org; posting-host="cJo7kSTQUrCFv2/D8KKtqw"; logging-data="5049"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX191ZTfLN3WH5mfWM2YQJdGq" User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:8.0) Gecko/20111105 Thunderbird/8.0 In-Reply-To: <128rdz2581345$.c4td19l7qp9z$.dlg@40tude.net> Cancel-Lock: sha1:n7vTfMmxz2LAox3mkRKwrw2tBmk= Xref: news1.google.com comp.lang.ada:19005 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit Date: 2011-11-21T21:40:30+01:00 List-Id: Le 21/11/2011 14:50, Dmitry A. Kazakov a �crit : > Conversion of errors into exceptions is an extremely bad idea. The same > fault is represented by dynamic pre-/pos-conditions, assertions, > accessibility checks, tag errors. > Sure. If you have a better idea (short of redesigning the whole language or making unacceptable upward incompatibilities), I'm sure the ARG would be deligthed to hear. We discussed the issues ad nauseum and could not find any other solution. -- --------------------------------------------------------- J-P. Rosen (rosen@adalog.fr) Adalog a d�m�nag� / Adalog has moved: 2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00