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=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,66fae8c862b81b17
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,UTF8
Received: by 10.66.84.202 with SMTP id b10mr4258754paz.43.1352159121663;
        Mon, 05 Nov 2012 15:45:21 -0800 (PST)
Received: by 10.68.212.72 with SMTP id ni8mr2677501pbc.14.1352159121647; Mon,
 05 Nov 2012 15:45:21 -0800 (PST)
Path: 
 s9ni82046pbb.0!nntp.google.com!kt20no33045961pbb.1!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Mon, 5 Nov 2012 15:45:21 -0800 (PST)
In-Reply-To: <op.wnbkvsd6ule2fv@cardamome>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=69.20.190.126;
 posting-account=lJ3JNwoAAAAQfH3VV9vttJLkThaxtTfC
NNTP-Posting-Host: 69.20.190.126
References: <1aWdnbcg_8-BzAzNnZ2dnUVZ_j6dnZ2d@giganews.com>
 <k6rk3m$fu6$1@dont-email.me>
 <559eb706-9bb1-496d-9034-1984d693531a@googlegroups.com>
 <op.wm48fcpwule2fv@cardamome>
 <5460fdc7-5490-4889-b771-67cc281c10c5@googlegroups.com>
 <op.wm56yo11ule2fv@cardamome>
 <f37a66a6-3cca-4f4c-85ce-efb95ca4af57@googlegroups.com>
 <op.wm7fsuxjule2fv@cardamome> <op.wm7f72j3ule2fv@cardamome>
 <6260a796-83c4-4ce5-88cb-8249846bc035@googlegroups.com>
 <10y91ckm54l57$.8u8bbq342u1b.dlg@40tude.net>
 <2164bc1a-a841-46ed-bfef-4ddcae4d64f7@googlegroups.com>
 <uti0vhlidr0b$.4tkmig1870rr$.dlg@40tude.net>
 <1ccf2169-418c-44b7-9d5a-b684a017fbe7@googlegroups.com>
 <1r3lpzblxy43h$.zytp8ur1bg27$.dlg@40tude.net>
 <op.wna877w8ule2fv@cardamome> <1k3sjasg1wftm$.1vlq5hm7vukhk.dlg@40tude.net>
 <op.wnbhcry0ule2fv@cardamome> <1sinhhpvja1gx.1ue7br8bz2slq$.dlg@40tude.net>
 <op.wnbkvsd6ule2fv@cardamome>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <c308358c-e5bf-4bc1-a944-804499f26d13@googlegroups.com>
Subject: Re: Copy vector in Ada
From: Shark8 <onewingedshark@gmail.com>
Injection-Date: Mon, 05 Nov 2012 23:45:21 +0000
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
Date: 2012-11-05T15:45:21-08:00
List-Id: <comp.lang.ada>

On Monday, November 5, 2012 2:34:40 PM UTC-7, Hibou57 (Yannick Duch=C3=AAne=
) wrote:
>=20
> a derivation hierarchy. That's like a subtype, not a type as a member of =
a =20
> class (a subtype of Integer is not a member of a fictitious Integer class=
).

But it is, isn't it?
Universal_Integer =E2=8A=83 Integer =E2=8A=83 Positive.
Therefore, Universal_Integer =E2=8A=83 Positive.

Universal integers are a fictitious class of integers and Positive is a sub=
type of Integer.