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,cb04cee6116c8ced
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news1.google.com!postnews.google.com!36g2000yqu.googlegroups.com!not-for-mail
From: =?ISO-8859-1?Q?Hibou57_=28Yannick_Duch=EAne=29?=
 <yannick_duchene@yahoo.fr>
Newsgroups: comp.lang.ada
Subject: Re: Package's private parts and protected types
Date: Mon, 8 Feb 2010 13:54:36 -0800 (PST)
Organization: http://groups.google.com
Message-ID: <3121cca8-6734-415e-9d99-051b2059fd10@36g2000yqu.googlegroups.com>
References: <7ff3810f-3ee3-4f39-a54c-933ad7d0655c@36g2000yqu.googlegroups.com>
	<e89844fd-9f16-40a1-821a-177d4f02caf4@o3g2000yqb.googlegroups.com>
	<1v2la97s2yyvd.1rcy0ana8mver.dlg@40tude.net>
 <3bb38996-47f7-4f30-8255-f011501404b5@b10g2000yqa.googlegroups.com>
	<wccwrynkc7p.fsf@shell01.TheWorld.com>
 <st8eadlq3kf7.7juq3mdsl2ca.dlg@40tude.net>
	<wcciqa7k8zg.fsf@shell01.TheWorld.com> <5lipkh.kut.ln@hunter.axlog.fr>
	<wccvde7pimg.fsf@shell01.TheWorld.com>
NNTP-Posting-Host: 77.198.58.172
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1265666076 23068 127.0.0.1 (8 Feb 2010 21:54:36
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Mon, 8 Feb 2010 21:54:36 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: 36g2000yqu.googlegroups.com; posting-host=77.198.58.172;
	posting-account=vrfdLAoAAAAauX_3XwyXEwXCWN3A1l8D
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/4.0 (compatible; MSIE 6.0; Windows NT 5.1;
	fr),gzip(gfe),gzip(gfe)
Xref: g2news1.google.com comp.lang.ada:9002
Date: 2010-02-08T13:54:36-08:00
List-Id: <comp.lang.ada>

On 8 f=E9v, 21:39, Robert A Duff <bobd...@shell01.TheWorld.com> wrote:
> Jean-Pierre Rosen <ro...@adalog.fr> writes:
> > That it is nice to have singletons that are clearly singletons, with a
> > syntax close to the syntax for types.
>
> Why on earth would you want an object decl to look like
> a type decl?
You may want to have a protected singleton or task singleton, the same
way you may want an entity to be aliased or constant.

You do Aliased or Constant on selective entities, you can do Protected
or Task on selective entities the same way.

By the way, although this construct may seems strange to one who never
use it (I use it, at least, I'm experiencing with it, so it does not
seems strange to me), no troubles at all comes with it. This
particular construct does not brake any language design principle.