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
Date: Sat, 22 Nov 2008 14:10:21 +0100
From: Gautier <gautier@fakeaddress.nil>
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 6.0; en-US;
 rv:1.8.1.16) Gecko/20080702 SeaMonkey/1.1.11
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Extending discriminant types
References: <20081115101632.5f98c596@cube.tz.axivion.com>
 <oiRUk.141685$Mh5.126924@bgtnsc04-news.ops.worldnet.att.net>
  <4d75603c-2f61-46c9-8c62-df4b6f49b2f7@13g2000yql.googlegroups.com>
 <SEGVk.37387$_Y1.29974@bgtnsc05-news.ops.worldnet.att.net>
In-Reply-To: <SEGVk.37387$_Y1.29974@bgtnsc05-news.ops.worldnet.att.net>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
NNTP-Posting-Host: 83.77.129.141
X-Original-NNTP-Posting-Host: 83.77.129.141
Message-ID: <492804bd$1_2@news.bluewin.ch>
X-Trace: news.bluewin.ch 1227359421 83.77.129.141 (22 Nov 2008 14:10:21 +0100)
Organization: Bluewin AG
Complaints-To: abuse@bluewin.ch
X-Original-NNTP-Posting-Host: 127.0.0.1
Path: 
 g2news2.google.com!news2.google.com!npeer01.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!cyclone1.gnilink.net!gnilink.net!wns14feed!worldnet.att.net!164.128.36.58!news.ip-plus.net!newsfeed.ip-plus.net!news.bluewin.ch!not-for-mail
Xref: g2news2.google.com comp.lang.ada:3719
Date: 2008-11-22T14:10:21+01:00
List-Id: <comp.lang.ada>

anon wrote:

> This type of statement works with GNAT-3.15p, even in GNAT-3.01 as 
> well as GNAT-3.12. All which are GNAT compilers that use the Ada 95 
> specification.  That's just too many compilers and programmers testing for 
> Adacore over a period of 5 to 10 years to be a design flaw in one version 
> of a compiler.  And that does not include the 100s to 1000s of GCC 
> people and students with the general public added in that have tested 
> possible every combination of every type of statement (may be to general 
> but you get the idea). The odds that this type of statement not being 
> found until now and at least written up, is astronautical. 

Yeah - similarily, so many big banks have traded so large sums on 
mortgage-based securities and credit derivatives, over 5 to 10 years or 
more, that it's clear there can't be a flaw there ( ;-) ).
_________________________________________________________
Gautier's Ada programming -- http://sf.net/users/gdemont/

NB: For a direct answer, e-mail address on the Web site!