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,587e0e0a16d65b10
X-Google-Attributes: gid103376,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news3.google.com!proxad.net!feeder1-2.proxad.net!newsfeed.straub-nv.de!nuzba.szn.dk!news.jacob-sparre.dk!pnx.dk!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Invade wikipedia!
Date: Fri, 27 Feb 2009 17:53:01 -0600
Organization: Jacob Sparre Andersen
Message-ID: <go9ucu$tc7$1@munin.nbi.dk>
References: <l6k0og.o0o.ln@hunter.axlog.fr>
 <1tw8gryqdolal$.1osqedj9x821c.dlg@40tude.net>
  <5c44eaae-631d-46d2-8384-86af79d5e048@n20g2000vba.googlegroups.com>
  <944a1924-0fa7-487f-a94d-084a2be1b231@v31g2000vbb.googlegroups.com>
  <WCZol.586329$yE1.342435@attbi_s21>
 <b26ae712-a4e9-49d1-9869-aa29626fb5e5@t13g2000yqc.googlegroups.com>
  <9f2553d3-66f5-4708-a237-bfef1d8404f4@v42g2000yqj.googlegroups.com>
  <C5CA3442.10CF05%yaldnif.w@blueyonder.co.uk>
 <ygeab8bvt3s.fsf@sparre-andersen.dk>
 <4013d6a4-f4f4-4d6e-92bd-161687608db9@w9g2000yqa.googlegroups.com>
 <C5CB1DE7.10D05A%yaldnif.w@blueyonder.co.uk>
 <49a58a60$0$30235$9b4e6d93@newsspool1.arcor-online.net>
 <C5CB4445.10D0BE%yaldnif.w@blueyonder.co.uk>
 <49a599ac$0$30225$9b4e6d93@newsspool1.arcor-online.net>
NNTP-Posting-Host: static-69-95-181-76.mad.choiceone.net
X-Trace: munin.nbi.dk 1235778782 30087 69.95.181.76 (27 Feb 2009 23:53:02 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Fri, 27 Feb 2009 23:53:02 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5512
X-RFC2646: Format=Flowed; Original
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.5579
Xref: g2news2.google.com comp.lang.ada:4807
Date: 2009-02-27T17:53:01-06:00
List-Id: <comp.lang.ada>

"Georg Bauhaus" <rm.dash-bauhaus@futureapps.de> wrote in message 
news:49a599ac$0$30225$9b4e6d93@newsspool1.arcor-online.net...
> (see below) schrieb:
>
>>> All the more we could profit from pre/post assertions
>>> and invariant type constraints specified by the programmer.
>>> Perfectly clear, checkable, and international.
>>>
>>> Doesn't someone have the ressouces to help Randy Brukardt
>>> continue his work on these?  Please! :-) :-) :-)
>>
>> Could I encourage Randy to say something about this?
>> I had not heard of this work before, and it sounds very valuable.
>>
>
> There is a longer thread entitled "contracts in Ada" on the
> Ada Comments mailing list, started by Robert Duff discussing
> "AI95-00288 (and perhaps AI95-00375)" on Jan 10th 2009.
> This is archived, there is a description of a procedure
> for searching the archives in
> http://www.adaic.org/standards/articles/comment.html
> Haven't tried this myself, though.

Actually, it is easier to see that thread by looking in AI05-0145-1 and 
AI05-0146-1. But a word of warning: we've changed those proposals a lot 
based on the discussions at last week's ARG meeting. So you may want to wait 
for the minutes of that meeting and the revised proposals (whenever they'll 
be done) before commenting on them. (In fact, I suspect we'd all appreciate 
it if you did that, because repeating previous discussions is no fun...)

                            Randy.