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,13aaae984988cb0d
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,CP1252
Path: 
 g2news2.google.com!postnews.google.com!f10g2000vbf.googlegroups.com!not-for-mail
From: =?ISO-8859-1?Q?Yannick_Duch=EAne_Hibou57?= <yannick_duchene@yahoo.fr>
Newsgroups: comp.lang.ada
Subject: Re: Discriminant and type extensions
Date: Mon, 5 Oct 2009 15:29:13 -0700 (PDT)
Organization: http://groups.google.com
Message-ID: 
 <13d2a00f-4774-4860-95fa-5228389259b1@f10g2000vbf.googlegroups.com>
References: <2b205c63-55e7-4cef-95d2-5b0ece0b8866@p9g2000vbl.googlegroups.com>
	<wccljjp609m.fsf@shell01.TheWorld.com>
 <42a46538-2430-4738-9cb4-7cbbb0c7db33@b25g2000prb.googlegroups.com>
NNTP-Posting-Host: 86.66.190.90
Mime-Version: 1.0
Content-Type: text/plain; charset=windows-1252
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1254781753 14278 127.0.0.1 (5 Oct 2009 22:29:13
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Mon, 5 Oct 2009 22:29:13 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: f10g2000vbf.googlegroups.com; posting-host=86.66.190.90;
	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: g2news2.google.com comp.lang.ada:8591
Date: 2009-10-05T15:29:13-07:00
List-Id: <comp.lang.ada>

Sorry, I was writing a reply to Bob in the time you wrote this one

On 6 oct, 00:04, Adam Beneschan <a...@irvine.com> wrote:
> I think he wants to try to duplicate the discriminants for
> documentation purposes (for clarity), so that
So I'm very happy to read this : yes, that's it ! You've understood me
very well.
This is for documentation purpose and clarity, *and* something the
compiler could check (so not comments).

I gonna try the =93 type T2 (D : Positive) is new T (D=3D>D) with ... =94 I
did not knew it is legal. If the compiler does not complain and check
it the expected way, it may be a good work-around.