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.3 required=5.0 tests=BAYES_00,FREEMAIL_FROM,
	INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,28b389d4503cb555
X-Google-Attributes: gid103376,public
From: "Vladimir Olensky" <vladimir_olensky@yahoo.com>
Subject: Re: generic package dilemma
Date: 1999/11/19
Message-ID: <s3b0bvbs3ef68@corp.supernews.com>#1/1
X-Deja-AN: 550604580
References: <80u48b$ghr$1@bunyip.cc.uq.edu.au>	 <3832e27f_1@news1.prserv.net>
 <3832E75D.5B1BA719@mail.com>	 <383319e8_4@news1.prserv.net>
 <3833F615.5AD7166C@mail.com> <383442e1_1@news1.prserv.net>
 <383510EA.9DFEE8B6@mail.com>
Organization: Posted via Supernews, http://www.supernews.com
X-MimeOLE: Produced By Microsoft MimeOLE V4.72.3110.3
Newsgroups: comp.lang.ada
X-Complaints-To: newsabuse@supernews.com
Date: 1999-11-19T00:00:00+00:00
List-Id: <comp.lang.ada>


Mats Weber wrote in message <383510EA.9DFEE8B6@mail.com>...

>I have done an extensive study of the shortcomings of pragma Elaborate
>in my thesis at
>http://lglwww.epfl.ch/Team/MW/Ada-Extensions/Ada-Extensions.html


It is always very interesting to know different proposals and ideas
regarding
language evolution at different stages.

I think that at least one thing from that thesis, namely  par. 4.4 "Control
of
Direct Visibility (use clauses) " still could be applied for next language
revisions.

I think that  construct  USE Package_Name.Procedure_Name  which
is direct equivalent to FROM Module_Name IMPORT Procedure_Name
being used in M2 and M3  could be very useful.

Another problem  at some extent  related to elaboration  that still need
to be solved is  circular packages dependencies. This problem is well
known as well as  different proposals as how to solve this. It is
interesting
to know whether this issue will be addressed in the next language revision.

Regards,
Vladimir Olensky