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,73057f1a3ca11607
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news1.google.com!news1.google.com!news.glorb.com!news.agarik.com!213.56.31.76.MISMATCH!oleane.net!oleane!skymaster!nobody
From: Jean-Pierre Rosen <rosen@adalog.fr>
Newsgroups: comp.lang.ada
Subject: Re: record extension aggregate for returned type legal?
Date: Wed, 13 Oct 2004 18:18:12 +0200
Organization: Adalog
Message-ID: <4gkjkc.m56.ln@skymaster>
References: <ckfc4r$lsv$1@a1-hrz.uni-duisburg.de>
 <1738418.atIT6LYH9Z@linux1.krischik.com>
 <ckgq66$fsv$1@a1-hrz.uni-duisburg.de>
 <1940150.rU8f1KaX3L@linux1.krischik.com>
NNTP-Posting-Host: mailhost.axlog.fr
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: quoted-printable
X-Trace: s5.feed.news.oleane.net 1097687220 15514 195.25.228.57 (13 Oct 2004
 17:07:00 GMT)
X-Complaints-To: abuse@oleane.net
NNTP-Posting-Date: Wed, 13 Oct 2004 17:07:00 +0000 (UTC)
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; fr-FR;
 rv:1.7.2) Gecko/20040803
X-Accept-Language: fr-fr, en-us, en
In-Reply-To: <1940150.rU8f1KaX3L@linux1.krischik.com>
Xref: g2news1.google.com comp.lang.ada:5161
Date: 2004-10-13T18:18:12+02:00
List-Id: <comp.lang.ada>

Martin Krischik a =E9crit :

> i.E. "return (0)" might not work since the compiler could to choose
> Integer'(0). However T'(0) will work. You need to be a language lawyer =
to
> know what works and what does not. Normal people will have to experimen=
t or
> just write down the T' all the time ;-).=20
>=20
Normal people trust the compiler, and just try it.

--=20
---------------------------------------------------------
            J-P. Rosen (rosen@adalog.fr)
Visit Adalog's web site at http://www.adalog.fr