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.216.135.75 with SMTP id t53mr455309wei.0.1352353220854;
        Wed, 07 Nov 2012 21:40:20 -0800 (PST)
From: =?utf-8?Q?Yannick_Duch=C3=AAne_=28Hibou57?=
 =?utf-8?Q?=29?=
 <yannick_duchene@yahoo.fr>
Newsgroups: comp.lang.ada
Subject: Re: Copy vector in Ada
Date: Mon, 05 Nov 2012 22:34:30 +0100
Organization: Ada @ Home
Message-ID: <op.wnbkvsd6ule2fv@cardamome>
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>
NNTP-Posting-Host: 80Danr8LSk+wZCZOQUcJiA.user.speranza.aioe.org
Mime-Version: 1.0
X-Complaints-To: abuse@aioe.org
User-Agent: Opera Mail/12.02 (Linux)
X-Notice: Filtered by postfilter v. 0.8.2
Path: 
 q13ni187518wii.0!nntp.google.com!feeder2.cambriumusenet.nl!feeder1.cambriumusenet.nl!feed.tweaknews.nl!209.197.12.242.MISMATCH!nx01.iad01.newshosting.com!newshosting.com!69.16.185.11.MISMATCH!npeer01.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!border3.nntp.dca.giganews.com!border1.nntp.dca.giganews.com!nntp.giganews.com!news.mccarragher.com!news.grnet.gr!de-l.enfer-du-nord.net!feeder1.enfer-du-nord.net!cs.uu.nl!news.stack.nl!aioe.org!.POSTED!not-for-mail
X-Received-Bytes: 2645
Content-Type: text/plain; charset=utf-8; format=flowed; delsp=yes
Content-Transfer-Encoding: Quoted-Printable
Date: 2012-11-05T22:34:30+01:00
List-Id: <comp.lang.ada>

Le Mon, 05 Nov 2012 21:33:54 +0100, Dmitry A. Kazakov  =

<mailbox@dmitry-kazakov.de> a =C3=A9crit:
>> A constant is just an easy=E2=80=91and=E2=80=91quick function, that's=
 not the same as an
>> object.
>
>    procedure Foo (Object : in T);
>
> here in T =3D constant T =3D immutable subtype of T =3D T - assignment=
 - some
> other operations.

That's a place=E2=80=91specific restriction, the client knows. That can'=
t apply to  =

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 fictitious Integer clas=
s).

Interesting note anyway. Thanks for that.

-- =

=E2=80=9CSyntactic sugar causes cancer of the semi-colons.=E2=80=9D [1]
=E2=80=9CStructured Programming supports the law of the excluded muddle.=
=E2=80=9D [1]
[1]: Epigrams on Programming =E2=80=94 Alan J. =E2=80=94 P. Yale Univers=
ity