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.1 required=5.0 tests=BAYES_00,
	PP_MIME_FAKE_ASCII_TEXT 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
Received: by 10.68.230.98 with SMTP id sx2mr6092526pbc.1.1335569152809;
        Fri, 27 Apr 2012 16:25:52 -0700 (PDT)
MIME-Version: 1.0
Path: 
 r9ni106090pbh.0!nntp.google.com!news1.google.com!volia.net!news2.volia.net!feed-A.news.volia.net!news.ecp.fr!news.jacob-sparre.dk!munin.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: What would you like in Ada202X?
Date: Fri, 27 Apr 2012 18:25:45 -0500
Organization: Jacob Sparre Andersen Research & Innovation
Message-ID: <jnf9tv$f7k$1@munin.nbi.dk>
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>
 <w94h61g5wpzn.a60iwvyn0g83$.dlg@40tude.net> <jncmvh$283$1@munin.nbi.dk>
 <op.wdeqz6wkule2fv@douda-yannick>
NNTP-Posting-Host: static-69-95-181-76.mad.choiceone.net
X-Trace: munin.nbi.dk 1335569151 15604 69.95.181.76 (27 Apr 2012 23:25:51 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Fri, 27 Apr 2012 23:25:51 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Response
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.6157
Date: 2012-04-27T18:25:45-05:00
List-Id: <comp.lang.ada>

"Yannick Duch�ne (Hibou57)" <yannick_duchene@yahoo.fr> wrote in message 
news:op.wdeqz6wkule2fv@douda-yannick...
Le Fri, 27 Apr 2012 01:50:07 +0200, Randy Brukardt <randy@rrsoftware.com>
a �crit:
>> I tried to suggest making objects overloadable
>I'm not sure to see. Objects of the same name with different types in the 
>same declaration list?
>
>    E : Cat_Type;
>    E : Rabbit_Type;
>
>?

I don't think I went that far, but they would be overloadable for the 
purposes of resolution. So you would not get a conflict if those two objects 
were declared in different packages made visible by use-clauses.

This is essentially the idea that you (was it you?) have talked about about 
making functions and constants work the same. It wouldn't make sense to do 
that for *only* constants (changing something from a constant to a variable 
shouldn't break any uses!), but it could make sense for all objects.

>> Probably this would have to wait for Ada-prime (or perhaps Bob Duff's
>> language :-).
>He did design one? Where can we read about?

I think it's only in his head. He mentions it here from time-to-time.

                                 Randy.