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,66fae8c862b81b17
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,UTF8
Received: by 10.224.189.16 with SMTP id dc16mr6838475qab.0.1352159933376;
        Mon, 05 Nov 2012 15:58:53 -0800 (PST)
Received: by 10.52.93.132 with SMTP id cu4mr1829536vdb.14.1352159933336; Mon,
 05 Nov 2012 15:58:53 -0800 (PST)
Path: 
 gf5ni18188417qab.0!nntp.google.com!c7no7994069qap.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Mon, 5 Nov 2012 15:58:53 -0800 (PST)
In-Reply-To: <c308358c-e5bf-4bc1-a944-804499f26d13@googlegroups.com>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=80.185.200.93;
 posting-account=vrfdLAoAAAAauX_3XwyXEwXCWN3A1l8D
NNTP-Posting-Host: 80.185.200.93
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>
 <c308358c-e5bf-4bc1-a944-804499f26d13@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <d7a2ef31-43f1-4000-af5a-d7414ec85b3f@googlegroups.com>
Subject: Re: Copy vector in Ada
From: =?ISO-8859-1?Q?Hibou57_=28Yannick_Duch=EAne=29?=
 <yannick_duchene@yahoo.fr>
Injection-Date: Mon, 05 Nov 2012 23:58:53 +0000
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
Date: 2012-11-05T15:58:53-08:00
List-Id: <comp.lang.ada>

Le mardi 6 novembre 2012 00:45:21 UTC+1, Shark8 a =C3=A9crit=C2=A0:
> On Monday, November 5, 2012 2:34:40 PM UTC-7, Hibou57 (Yannick Duch=C3=AA=
ne) wrote: > > a derivation hierarchy. That's like a subtype, not a type as=
 a member of a > class (a subtype of Integer is not a member of a fictitiou=
s 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. Univer=
sal integers are a fictitious class of integers and Positive is a subtype o=
f Integer.

Well try, but I pretty sure it's a wrong interpretation. Inclusion relation=
 in a type hierarchy, is precely the opposite way. A type defines a set of =
possible values or states, a class is a set, but not the same set. Positive=
s indeed belongs to the set of values specified by an Integer, but a Positi=
ve does not belong to the set fictitious set of class whose root type would=
 be Integer.

And no, universal integer does not define a class, but a set of values.

More on "Inclusion relation in a type hierarchy, is precely the opposite wa=
y": a derived type has to cover a base type, and will probably do more, but=
 in anyway, not less.

Classes and values do not belongs to the same kind of sets.