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,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,bd40601768eaf8fd
X-Google-Attributes: gid103376,public
From: "Matthew Heaney" <matthew_heaney@acm.org>
Subject: Re: Array of Variant Records Question...
Date: 1999/09/09
Message-ID: <37d7c116@news1.prserv.net>#1/1
X-Deja-AN: 522956259
Content-transfer-encoding: 7bit
References: <7r5vh3$imu1@svlss.lmms.lmco.com> <37d6a45c@news1.prserv.net>
 <eExB3.6$ZR.1146@news.wenet.net> <37d6ccb6@news1.prserv.net>
 <7r77i8$i08$1@nnrp1.deja.com>
Content-Type: text/plain; charset="US-ASCII"
X-Complaints-To: abuse@prserv.net
X-Trace: 9 Sep 1999 14:15:50 GMT, 32.101.8.168
Organization: Global Network Services - Remote Access Mail & News Services
Mime-version: 1.0
Newsgroups: comp.lang.ada
Date: 1999-09-09T00:00:00+00:00
List-Id: <comp.lang.ada>

In article <7r77i8$i08$1@nnrp1.deja.com> , Robert Dewar 
<robert_dewar@my-deja.com>  wrote:


> Matthew, as someone who is always feature hungry and always
> wants more complexity in the language, you should definitely
> read mapping document 2, you would probably like all kinds
> of bells and whistles you found there :-)

Fair enough.  Can someone post the URL of the mapping document(s), or tell
me how to get it?  I looked around the AdaIC but didn't find anything.

Thanks,
Matt

P.S.  Here's some more stuff I want:

1) access constant params

2) the ability to cast away const w/o using Sys.Addr_To_Acc_Convs

3) types whose full view is limited should be implicitly aliased, just like
for tagged types

4) implicit conversion of an access param to a named access type

5) implicit conversion of a specific access type to an access type that
designates an ancestor that is class-wide

6) the ability to invoke a constructor/initializer for limited types in the
declarative region

7) downward closures