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,9b7d3a51d0d8b6ee
X-Google-Attributes: gid103376,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!postnews.google.com!a12g2000yqm.googlegroups.com!not-for-mail
From: Ludovic Brenta <ludovic@ludovic-brenta.org>
Newsgroups: comp.lang.ada
Subject: Re: Extending discriminant types
Date: Wed, 26 Nov 2008 03:05:57 -0800 (PST)
Organization: http://groups.google.com
Message-ID: 
 <b6d8fc67-bfdd-42d2-ae94-262d33d8e412@a12g2000yqm.googlegroups.com>
References: <20081115101632.5f98c596@cube.tz.axivion.com>
 <492a7d07$0$30236$9b4e6d93@newsspool1.arcor-online.net>
	<oJFWk.153691$Mh5.10576@bgtnsc04-news.ops.worldnet.att.net>
	<8e021577-260a-44e1-b765-4d81f6ba89df@33g2000yqm.googlegroups.com>
	<492be08b$0$32676$9b4e6d93@newsspool2.arcor-online.net>
 <0xZWk.396391$TT4.276049@attbi_s22>
	<71304b75-71bc-4691-b511-69882bdc0fc3@a12g2000pro.googlegroups.com>
	<492c77a1$0$31347$9b4e6d93@newsspool4.arcor-online.net>
 <F2%Wk.396499$TT4.101603@attbi_s22>
	<2ebc6a98-ebd9-4bfb-b69a-c313e9a9090a@w39g2000prb.googlegroups.com>
	<2T1Xk.451865$yE1.273979@attbi_s21>
 <d33c0c19-6837-4c2d-a7c1-bcfc3d7a0e79@k8g2000yqn.googlegroups.com>
	<20081126103846.3f9475ac@cube.tz.axivion.com>
 <163e7b10-8571-4320-ad80-39c522e474d3@j35g2000yqh.googlegroups.com>
	<20081126111646.6d064e36@cube.tz.axivion.com>
NNTP-Posting-Host: 153.98.68.197
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
X-Trace: posting.google.com 1227697558 8473 127.0.0.1 (26 Nov 2008 11:05:58
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Wed, 26 Nov 2008 11:05:58 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: a12g2000yqm.googlegroups.com; posting-host=153.98.68.197;
	posting-account=pcLQNgkAAAD9TrXkhkIgiY6-MDtJjIlC
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.8.0.12)
	Gecko/20070718 Red Hat/1.5.0.12-3.el5 Firefox/1.5.0.12,gzip(gfe),gzip(gfe)
Xref: g2news1.google.com comp.lang.ada:2806
Date: 2008-11-26T03:05:57-08:00
List-Id: <comp.lang.ada>

On Nov 26, 11:16 am, Stefan Bellon <bel...@software-erosion.org>
wrote:
> On Wed, 26 Nov, Martin wrote:
> > Sorry, the joke was lost in typing...or perhaps it was just a bad
> > joke... (I hoped the smiley would have given it away...)
>
> No, it is a good one. Especially because GNAT 3.15p seems to exhibit
> this bug as well. ;-)

Yes indeed.

anon's theorem: the number of bugs in a program decreases with time
and eventually reaches zero, whether or not anyone maintains the
program. (However, to observe this theorem, someone must use the
program.)

I'd be interested in anon's proof of that theorem. That would
definitely make it into the Jargon file :)

--
Ludovic Brenta.