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,81bb2ce65a3240c3
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.68.201.168 with SMTP id kb8mr793148pbc.3.1335430336206;
        Thu, 26 Apr 2012 01:52:16 -0700 (PDT)
Path: 
 r9ni100022pbh.0!nntp.google.com!news1.google.com!goblin1!goblin2!goblin.stu.neva.ru!aioe.org!.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Newsgroups: comp.lang.ada
Subject: Re: What would you like in Ada202X?
Date: Thu, 26 Apr 2012 10:50:55 +0200
Organization: cbb software GmbH
Message-ID: <w94h61g5wpzn.a60iwvyn0g83$.dlg@40tude.net>
References: <3637793.35.1335340026327.JavaMail.geo-discussion-forums@ynfi5>
 <r9nolai9rkz8$.1j95yhyvqvm3o.dlg@40tude.net>
 <op.wdbckou5ule2fv@douda-yannick>
 <mdgi0fhwon01$.18b871w98pjl6.dlg@40tude.net> <jnaam8$up9$1@munin.nbi.dk>
Reply-To: mailbox@dmitry-kazakov.de
NNTP-Posting-Host: FbOMkhMtVLVmu7IwBnt1tw.user.speranza.aioe.org
Mime-Version: 1.0
X-Complaints-To: abuse@aioe.org
User-Agent: 40tude_Dialog/2.0.15.1
X-Notice: Filtered by postfilter v. 0.8.2
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Date: 2012-04-26T10:50:55+02:00
List-Id: <comp.lang.ada>

On Wed, 25 Apr 2012 21:08:06 -0500, Randy Brukardt wrote:

> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message 
> news:mdgi0fhwon01$.18b871w98pjl6.dlg@40tude.net...
> ...
>> There is no means to flatten P making declarations of Q be directly 
>> visible
>> for clients of P. E.g. something like
>>
>>   package P is
>>      package Q is new Foo (...);
>>      use all Q; -- Make things from Q declared directly in P
>>   end P;
> 
> We tried to do this for Ada 2012; we made heroic efforts to do so. The 
> problem is, this feature is a massive potential maintenance problem which 
> destroys most of the Ada concepts of visibility and maintainablity. (It's 
> all of the mistakes of package "use" multiplied a hundred-fold.)
> 
> The biggest problem comes when there is a conflict between things declared 
> in P and things declared in Q. Resolving that proved impossible without 
> introducing major headaches.

Certainly there must be a generic mechanism for handling this. Because the
same issue arises with MI.

Probably something really revolutionary is needed here, something like
introduction of T'Class was, which resolved all OO mess just per finger
snap.

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