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.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,22ab316b1096e177
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news1.google.com!news.glorb.com!feeder.erje.net!newsfeed.straub-nv.de!noris.net!newsfeed.arcor.de!newsspool4.arcor-online.net!news.arcor.de.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Tasks, Entries, and Variables of a Class-wide type
Newsgroups: comp.lang.ada
User-Agent: 40tude_Dialog/2.0.15.1
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Reply-To: mailbox@dmitry-kazakov.de
Organization: cbb software GmbH
References: 
 <7e77bb8f-17b6-4d51-9946-ea825f726682@f33g2000yqh.googlegroups.com>
 <ckmpf7cxf86x$.123uob2jwdt0z$.dlg@40tude.net>
 <3dcee4c7-9753-41a1-8181-6e7e363bfbe8@t13g2000yqm.googlegroups.com>
 <ian2kg$js8$1@tornado.tornevall.net>
Date: Mon, 1 Nov 2010 20:23:46 +0100
Message-ID: <vwll8mopf37z$.t3cpki2vjl05$.dlg@40tude.net>
NNTP-Posting-Date: 01 Nov 2010 20:23:46 CET
NNTP-Posting-Host: 50044251.newsspool1.arcor-online.net
X-Trace: 
 DXC=;o@C[ob=T7UFm0Y?OE@2^Xic==]BZ:af^4Fo<]lROoRQ<`=YMgDjhgR[OgT3@U=9b^[6LHn;2LCV^[<mhadbfdU[8Xb@8BL4KKXCHVl9:Q\1@]
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news2.google.com comp.lang.ada:16091
Date: 2010-11-01T20:23:46+01:00
List-Id: <comp.lang.ada>

On Mon, 01 Nov 2010 11:50:44 -0700, Jeffrey Carter wrote:

> On 11/01/2010 08:30 AM, Shark8 wrote:
>>
>> Crap; you're right!
>> While I certainly like the idea of having a task-construct within the
>> language itself, I'm still quite new to using them in-practice.
>> Thanks for pointing that out.
> 
> Interestingly, your original problem does not exist if you use composition 
> rather than type extension.

No, the original problem is that an object of unconstrained type cannot be
returned from an entry point. That is independent on whether the constraint
is the type tag, discriminant without a default, or array bounds.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de