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.180.96.6 with SMTP id do6mr5285965wib.1.1352353220828;
        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 21:18:17 +0100
Organization: Ada @ Home
Message-ID: <op.wnbhcry0ule2fv@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>
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!feed.tweaknews.nl!209.197.12.246.MISMATCH!nx02.iad01.newshosting.com!newshosting.com!216.196.98.146.MISMATCH!border3.nntp.dca.giganews.com!border1.nntp.dca.giganews.com!border4.nntp.dca.giganews.com!border2.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
Content-Type: text/plain; charset=utf-8; format=flowed; delsp=yes
Content-Transfer-Encoding: Quoted-Printable
Date: 2012-11-05T21:18:17+01:00
List-Id: <comp.lang.ada>

Le Mon, 05 Nov 2012 19:42:57 +0100, Dmitry A. Kazakov  =

<mailbox@dmitry-kazakov.de> a =C3=A9crit:

> On Mon, 05 Nov 2012 18:22:45 +0100, Yannick Duch=C3=AAne (Hibou57) wro=
te:
>
>> Le Mon, 05 Nov 2012 10:20:44 +0100, Dmitry A. Kazakov
>> <mailbox@dmitry-kazakov.de> a =C3=A9crit:
>>> There are lots of further questions about special treatment of copy
>>> constructors, like whether one could introduce them later, e,g,  =

>>> promoting
>>> limited types to non-limited
>> Would make sense, with a derived type adding capabilities (similar  =

>> comment
>> with unknown discriminant). The proof it would make sense is that in =
a
>> package spec, you can change a limited to a non=E2=80=91limited, with=
out  =

>> breaking
>> anything.
>>
>>> and demoting back.
>> Back from non=E2=80=91limited to limited? This one is not cool.
>
> But "constant T" is cool? Note that constant does just this and also
> disallows any other mutators.

A constant is just an easy=E2=80=91and=E2=80=91quick function, that's no=
t the same as an  =

object. The result returned by a function has a target object, but is no=
t  =

an object. At least, that's my personal model of a constant (is this mod=
el  =

wrong?).


-- =

=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