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-Thread: 103376,64f0fb07a88662b1
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news1.google.com!proxad.net!newsfeed.stueberl.de!newsr1.ipcore.viaginterkom.de!news-peer1!btnet-feed5!btnet!news.btopenworld.com!not-for-mail
From: Martin Dowie <martin.dowie@btopenworld.com>
Newsgroups: comp.lang.ada
Subject: Re: Contract checking in Ada
Date: Thu, 31 Mar 2005 17:42:52 +0000 (UTC)
Organization: BT Openworld
Message-ID: <d2hcqs$ct0$1@sparta.btinternet.com>
References: <d_qdnXdxk-j5xdbfRVn-1A@megapath.net>
 <31T2e.5362$AI.4802@reader1.news.jippii.net>
NNTP-Posting-Host: host81-154-188-69.range81-154.btcentralplus.com
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-Trace: sparta.btinternet.com 1112290972 13216 81.154.188.69 (31 Mar 2005
 17:42:52 GMT)
X-Complaints-To: news-complaints@lists.btinternet.com
NNTP-Posting-Date: Thu, 31 Mar 2005 17:42:52 +0000 (UTC)
In-Reply-To: <31T2e.5362$AI.4802@reader1.news.jippii.net>
X-Accept-Language: en-us, en
User-Agent: Mozilla Thunderbird 1.0 (Windows/20041206)
Xref: g2news1.google.com comp.lang.ada:10192
Date: 2005-03-31T17:42:52+00:00
List-Id: <comp.lang.ada>

Tapio Kelloniemi wrote:
> But back to my original question, how could I implement programming by
> contract now when the designers have abandoned it in their great wisdom?

And I don't think you're being very fair to the Ada0Y team. The effort 
that has gone into/is going into it is still huge!

It would be great if there were dozens of volunteers to promote new 
proposals but the sad truth is very few people are capable of writing an 
amendment to the RM (and I certainly include myself is the 'not able' 
camp). When people talk about "language lawyers" it isn't far from the 
truth! The knowledge of the language has to be absolutely inside-out if 
you want to be able to amend the actual language - not so much the 
standard library but even that's tricky.

Cheers

-- Martin