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,43216c2d2bcda533
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news1.google.com!postnews.google.com!l19g2000yqb.googlegroups.com!not-for-mail
From: =?ISO-8859-1?Q?Hibou57_=28Yannick_Duch=EAne=29?=
 <yannick_duchene@yahoo.fr>
Newsgroups: comp.lang.ada
Subject: Re: Specifying the order of ops on an ADT with aspects
Date: Fri, 5 Feb 2010 08:55:31 -0800 (PST)
Organization: http://groups.google.com
Message-ID: 
 <b50c0c29-8c28-4e3d-af96-61570e2fc2a6@l19g2000yqb.googlegroups.com>
References: <4b6aaed4$0$7625$9b4e6d93@newsspool1.arcor-online.net>
	<91ab6070-fc9e-4575-a967-8fe43353ba26@36g2000yqu.googlegroups.com>
	<alpine.LNX.2.00.1002051642450.24469@Bluewhite64.example.net>
NNTP-Posting-Host: 79.91.74.217
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1265388931 24874 127.0.0.1 (5 Feb 2010 16:55:31
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Fri, 5 Feb 2010 16:55:31 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: l19g2000yqb.googlegroups.com; posting-host=79.91.74.217;
	posting-account=vrfdLAoAAAAauX_3XwyXEwXCWN3A1l8D
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/4.0 (compatible; MSIE 6.0; Windows NT 5.1;
	fr),gzip(gfe),gzip(gfe)
Xref: g2news1.google.com comp.lang.ada:8910
Date: 2010-02-05T08:55:31-08:00
List-Id: <comp.lang.ada>

On 5 f=E9v, 17:44, Colin Paul Gloster <Colin_Paul_Glos...@ACM.org>
wrote:
> I agree that no message for a failing precondition or postcondition
> check is bad. A newer Ada standard does not necessitate a better
> language.
Don't be sad, pretty sure most of vendors will provide it ;)
After all, the Ada standard does not specify anything either about
debugging informations and the like, and indeed, that's not its area.
This may be the reason why of the actual ARG vote.